The Beth property in algebraic logic
Studia Logica 83 (1-3):49 - 90 (2006)
| Abstract | The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndrej Nowik, Marion Scheepers & Tomasz Weiss (1998). The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets. Journal of Symbolic Logic 63 (1):301-324.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Gábor Sági & Saharon Shelah (2006). On Weak and Strong Interpolation in Algebraic Logics. Journal of Symbolic Logic 71 (1):104 - 118.
Larisa Maksimova (2006). Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica 83 (1-3):365 - 391.
Finn V. Jensen (1974). Interpolation and Definability in Abstract Logics. Synthese 27 (1-2):251 - 257.
Josep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Eva Hoogland (2000). Algebraic Characterizations of Various Beth Definability Properties. Studia Logica 65 (1):91-112.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,930 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
