David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 74 (1-2):153 - 180 (2003)
The notion of an algebraic semantics of a deductive system was proposed in , and a preliminary study was begun. The focus of  was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give rise to an algebraic completeness theorem for the deductive system, but their algebraic properties, unlike those of equivalent algebraic semantics, need not reflect the metalogical properties of the deductive system. Many deductive systems that don't have an equivalent algebraic semantics do possess an algebraic semantics; examples of these phenomena are provided. It is shown that all extensions of a deductive system that possesses an algebraic semantics themselves possess an algebraic semantics. Necessary conditions for the existence of an algebraic semantics are given, and an example of a protoalgebraic deductive system that does not have an algebraic semantics is provided. The mono-unary deductive systems possessing an algebraic semantics are characterized. Finally, weak conditions on a deductive system are formulated that guarantee the existence of an algebraic semantics. These conditions are used to show that various classes of non-algebraizable deductive systems of modal logic, relevance logic and linear logic do possess an algebraic semantics.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Josep Maria Font (2013). The Simplest Protoalgebraic Logic. Mathematical Logic Quarterly 59 (6):435-451.
Josep Maria Font (2006). Beyond Rasiowa's Algebraic Approach to Non-Classical Logics. Studia Logica 82 (2):179 - 209.
Ramon Jansana (2006). Willem Blok's Contribution to Abstract Algebraic Logic. Studia Logica 83 (1-3):31 - 48.
M. A. Martins, A. Madeira & L. S. Barbosa (2013). A Coalgebraic Perspective on Logical Interpretations. Studia Logica 101 (4):783-825.
Ramon Jansana (2006). Willem Blok's Contribution to Abstract Algebraic Logic. Studia Logica 83 (1-3):31-48.
Similar books and articles
Alexej P. Pynko (1995). Algebraic Study of Sette's Maximal Paraconsistent Logic. Studia Logica 54 (1):89 - 128.
G. D. Barbour & J. G. Raftery (2003). Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization. Studia Logica 74 (1-2):99 - 152.
Nobu-Yuki Suzuki (1999). Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. Studia Logica 63 (3):387-416.
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):349-383.
Anna Bucalo (1994). Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW] Journal of Logic, Language and Information 3 (3):211-232.
George Voutsadakis (2003). Categorical Abstract Algebraic Logic Metalogical Properties. Studia Logica 74 (3):369 - 398.
George Voutsadakis (2003). Categorical Abstract Algebraic Logic: Equivalent Institutions. Studia Logica 74 (1-2):275 - 311.
Josep Maria Font, Ramon Jansana & Don Pigozzi (2006). On the Closure Properties of the Class of Full G-Models of a Deductive System. Studia Logica 83 (1-3):215 - 278.
John Pais (1992). Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2):279 - 316.
Added to index2009-01-28
Total downloads23 ( #160,910 of 1,792,085 )
Recent downloads (6 months)8 ( #102,458 of 1,792,085 )
How can I increase my downloads?