Matrices, primitive satisfaction and finitely based logics
Studia Logica 42 (1):89 - 104 (1983)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesIan P. Gent (1993). Theory Matrices (for Modal Logics) Using Alphabetical Monotonicity. Studia Logica 52 (2):233 - 257.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Janusz Czelakowski (1984). Filter Distributive Logics. Studia Logica 43 (4):353 - 377.
Janusz Czelakowski (1981). Equivalential Logics (I). Studia Logica 40 (3):227 - 236.
Janusz Czelakowski (1982). Logical Matrices and the Amalgamation Property. Studia Logica 41 (4):329 - 341.
Janusz Czelakowski (1980). Reduced Products of Logical Matrices. Studia Logica 39 (1):19 - 43.
Janusz Czelakowski (1983). Some Theorems on Structural Entailment Relations. Studia Logica 42 (4):417 - 429.
R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (2000). Algebras and Matrices for Annotated Logics. Studia Logica 65 (1):137-153.
Janusz Czelakowski (1981). Equivalential Logics (II). Studia Logica 40 (4):355 - 372.
W. Rautenberg (1991). Axiomatizing Logics Closely Related to Varieties. Studia Logica 50 (3-4):607 - 622.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,501 of 549,084 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
