Equivalential logics (I)
Studia Logica 40 (3):227 - 236 (1981)
| Abstract | The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logicSCI and many Others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices (models) are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of all simpleC-matrices for any equivalential logicC (Theorem I.14). In corollaries we give necessary and sufficient conditions for the class of all simple models for a given equivalential logic to be closed under free products (Theorem I.18). | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345-353.
Janusz Czelakowski (1983). Matrices, Primitive Satisfaction and Finitely Based Logics. Studia Logica 42 (1):89 - 104.
Janusz Czelakowski (1984). Filter Distributive Logics. Studia Logica 43 (4):353 - 377.
Janusz Czelakowski (1980). Reduced Products of Logical Matrices. Studia Logica 39 (1):19 - 43.
W. J. Blok & Eva Hoogland (2006). The Beth Property in Algebraic Logic. Studia Logica 83 (1-3):49 - 90.
Janusz Czelakowski (1981). Equivalential Logics (II). Studia Logica 40 (4):355 - 372.
Katarzyna Slomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341 - 1358.
Burghard Herrmann (1996). Equivalential and Algebraizable Logics. Studia Logica 57 (2-3):419 - 436.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Jacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,748 of 549,124 )Recent downloads (6 months)1 ( #63,361 of 549,124 )How can I increase my downloads? |
My notes
Discussion
