The Beth Property in Algebraic Logic

&
Studia Logica 83 (1-3):49-90 (2006)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-006-8298-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.George Voutsadakis - 2009 - Mathematical Logic Quarterly 55 (1):51-67.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Which Structural Rules Admit Cut Elimination? An Algebraic Criterion.Kazushige Terui - 2007 - Journal of Symbolic Logic 72 (3):738 - 754.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.George Voutsadakis - 2004 - Logic Journal of the IGPL 12 (4):313-333.

Analytics

Added to PP
2009-01-28

Downloads
36 (#421,132)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.
Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini & J. J. Wannenburg - 2020 - Annals of Pure and Applied Logic 171 (9):102824.

View all 10 citations / Add more citations

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.

View all 32 references / Add more references