Compatibility operators in abstract algebraic logic

Journal of Symbolic Logic 81 (2):417-462 (2016)
  Copy   BIBTEX


This paper presents a unified framework that explains and extends the already successful applications of the Leibniz operator, the Suszko operator, and the Tarski operator in recent developments in abstract algebraic logic. To this end, we refine Czelakowski’s notion of an S-compatibility operator, and introduce the notion of coherent family of S-compatibility operators, for a sentential logic S. The notion of coherence is a restricted property of commutativity with inverse images by surjective homomorphisms, which is satisfied by both the Leibniz and the Suszko operators. We generalize several constructions and results already existing for the mentioned operators; in particular, the well-known classes of algebras associated with a logic through each of them, and the notions of full generalized model of a logic and a special kind of S-filters. We obtain a General Correspondence Theorem, extending the well-known one from the theory of protoalgebraic logics to arbitrary logics and to more general operators, and strengthening its formulation. We apply the general results to the Leibniz and the Suszko operators, and obtain several characterizations of the main classes of logics in the Leibniz hierarchy by the form of their full generalized models, by old and new properties of the Leibniz operator, and by the behaviour of the Suszko operator. Some of these characterizations complete or extend known ones, for some classes in the hierarchy, thus offering an integrated approach to the Leibniz hierarchy that uncovers some new, nice symmetries.



    Upload a copy of this work     Papers currently archived: 92,323

External links

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

Through your library

Similar books and articles

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.
Revision algebra semantics for conditional logic.John Pais - 1992 - Studia Logica 51 (2):279 - 316.
Belnap's four-valued logic and De Morgan lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.


Added to PP

53 (#302,735)

6 months
17 (#151,974)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181-231.

View all 14 references / Add more references