Abstract
The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] 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.
Similar content being viewed by others
References
Balbes, B., and Ph. Dwinger, Distributive lattices, University of Missouri Press, Columbia (Missouri), 1974.
Blok, W. J., and P. KÖhler, ‘Algebraic semantics for quasi-classical modal logics’, J. Symbolic Logic 48:941-964, 1983.
Blok, W. J., and D. Pigozzi, Algebraizable logics, Memoirs of the American Mathematical Society, 396, Amer. Math. Soc., Providence, 1989.
Blok, W. J., and D. Pigozzi, ‘Protoalgebraic logics’, Studia Logica 45:337-369, 1986.
Blok, W. J., and D. Pigozzi, ‘Abstract algebraic logic and the deduction theorem’, manuscript.
Blok, W. J., and D. Pigozzi, ‘Algebraic semantics for universal Horn logic without equality’, in: Universal Algebra and Quasigroup Theory, A. Romanovska, J. D. Smith (eds.), Heldermann Verlag, Berlin, 1992.
LoŚ, J. and R. Suszko, ‘Remarks on sentential logics’, Indagationes Mathematicae 20:177-183, 1958.
Rebagliato, J. and V. VerdÚ, ‘Algebraizable Gentzen systems and the deduction theorem for Gentzen systems’, Mathematics Preprint Series, Universitat de Barcelona, 175, 1995.
Troelstra, A.S., Lectures on Linear Logic, CSLI Lecture Notes, No 29, 1992.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blok, W.J., Rebagliato, J. Algebraic Semantics for Deductive Systems. Studia Logica 74, 153–180 (2003). https://doi.org/10.1023/A:1024626023417
Issue Date:
DOI: https://doi.org/10.1023/A:1024626023417