全文获取类型
收费全文 | 77篇 |
免费 | 1篇 |
出版年
2023年 | 2篇 |
2020年 | 2篇 |
2018年 | 1篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2013年 | 4篇 |
2012年 | 1篇 |
2011年 | 2篇 |
2010年 | 3篇 |
2009年 | 1篇 |
2006年 | 2篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2000年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1992年 | 2篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 4篇 |
1987年 | 5篇 |
1986年 | 4篇 |
1985年 | 5篇 |
1984年 | 2篇 |
1983年 | 4篇 |
1982年 | 4篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1977年 | 1篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1970年 | 1篇 |
排序方式: 共有78条查询结果,搜索用时 15 毫秒
11.
12.
13.
14.
15.
Janusz Czelakowski 《Studia Logica》1983,42(1):89-104
We examine the notion of primitive satisfaction in logical matrices. Theorem II. 1, being the matrix counterpart of Baker's well-known result for congruently distributive varieties of algebras (cf [1], Thm. 1.5), links the notions of primitive and standard satisfaction. As a corollary we give the matrix version of Jónsson's Lemma, proved earlier in [4]. Then we investigate propositional logics with disjunction. The main result, Theorem III. 2, states a necessary and sufficient condition for such logics to be finitely based. 相似文献
16.
17.
Janusz Czelakowski 《Studia Logica》1982,41(4):329-341
The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of logics and their associated classes of matrices. 相似文献
18.
19.
20.