Implicit connectives of algebraizable logics
Studia Logica 78 (1-2):155 - 170 (2004)
| Abstract | An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. | |||||||||
| 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,653 |
| 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.
A. Jánossy, Á Kurucz & Á. E. Eiben (1996). Combining Algebraizable Logics. Notre Dame Journal of Formal Logic 37 (2):366-380.
Antoni Torrens Torrell (2008). An Approach to Glivenko's Theorem in Algebraizable Logics. Studia Logica 88 (3):349 - 383.
Antoni Torrens (2008). An Approach to Glivenko's Theorem in Algebraizable Logics. Studia Logica 88 (3).
Xavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
Carlos Caleiro, Ricardo Gonçalves & Manuel Martins (2009). Behavioral Algebraization of Logics. Studia Logica 91 (1):63 - 111.
Alexej P. Pynko (1995). Algebraic Study of Sette's Maximal Paraconsistent Logic. Studia Logica 54 (1):89 - 128.
Janusz Czelakowski & Ramon Jansana (2000). Weakly Algebraizable Logics. Journal of Symbolic Logic 65 (2):641-668.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Burghard Herrmann (1996). Equivalential and Algebraizable Logics. Studia Logica 57 (2-3):419 - 436.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,458 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
