Characterizing equivalential and algebraizable logics by the Leibniz operator
Studia Logica 58 (2):305-323 (1997)
| Abstract | In [14] we used the term finitely algebraizable for algebraizable logics in the sense of Blok and Pigozzi [2] and we introduced possibly infinitely algebraizable, for short, p.i.-algebraizable logics. In the present paper, we characterize the hierarchy of protoalgebraic, equivalential, finitely equivalential, p.i.-algebraizable, and finitely algebraizable logics by properties of the Leibniz operator. A Beth-style definability result yields that finitely equivalential and finitely algebraizable as well as equivalential and p.i.-algebraizable logics can be distinguished by injectivity of the Leibniz operator. Thus, from a characterization of equivalential logics we obtain a new short proof of the main result of [2] that a finitary logic is finitely algebraizable iff the Leibniz operator is injective and preserves unions of directed systems. It is generalized to nonfinitary logics. We characterize equivalential and, by adding injectivity, p.i.-algebraizable logics. | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRamon Jansana (2003). Leibniz Filters Revisited. Studia Logica 75 (3):305 - 317.
Katarzyna Slomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341 - 1358.
Jacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Janusz Czelakowski (1981). Equivalential Logics (I). Studia Logica 40 (3):227 - 236.
Carlos Caleiro, Ricardo Gonçalves & Manuel Martins (2009). Behavioral Algebraization of Logics. Studia Logica 91 (1):63 - 111.
Pilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345 - 353.
Pilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345-353.
Xavier Caicedo (2004). Implicit Connectives of Algebraizable Logics. Studia Logica 78 (1-2):155 - 170.
Janusz Czelakowski & Ramon Jansana (2000). Weakly Algebraizable Logics. Journal of Symbolic Logic 65 (2):641-668.
Burghard Herrmann (1996). Equivalential and Algebraizable Logics. Studia Logica 57 (2-3):419 - 436.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,211 of 548,974 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
