Abstract
The best known algebraizable logics with a conjunction and an implication have the property that the conjunction defines a meet semi-lattice in the algebras of their algebraic counterpart. This property makes it possible to associate with them a semi-lattice based deductive system as a companion. Moreover, the order of the semi-lattice is also definable using the implication. This makes that the connection between the properties of the logic and the properties of its semi-lattice based companion is strong. We introduce a class of algebraizable deductive systems that includes those systems, and study some of their properties and of their semi-lattice based companions. We also study conditions which, when satisfied by a deductive system in the class, imply that it is strongly algebraizable. This brings some information on the open area of research of Abstract Algebraic Logic which consists in finding interesting characterizations of classes of algebraizable logics that are strongly algebraizable.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Blok, W.J., Pigozzi, D.: Algebraizable logics. Memoires of the AMS, vol. 396. The American Mathematical Society, Providence (1986)
Bou, F.: Implicación estricta y lógicas subintuicionistas. Master thesis, University of Barcelona (2001)
Bou F., Esteva F., Font J.M., Gil A., Godo L., Torrens A., Verdú V.: Logics preserving degrees of truth from varieties of residuated lattices. J. Logic Comput. 19, 1031–1069 (2009)
Cintula P., Noguera C.: Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Logic 49, 417–446 (2010)
Czelakowski J.: Protoalgebraic Logics. Kluwer, Dordrecht (2001)
Czelakowski, J.: The Suszko Operator. Part I. Studia Logica, Special Issue on Algebraic Logic II, vol. 74, pp. 181–231 (2003)
Font J.M.: An abstract algebraic logic view of some multiple-valued logics. In: Fitting, M., Orlowska, E. (eds.) Beyond Two: Theory and Algebraization of Multiple-Valued Logic, Springer, Heidelberg, Berlin, New York (2004)
Font J.M.: On semilattice-based logics with an algebraizable assertional companion. Rep. Math. Logic 46, 109–132 (2011)
Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Second revised edition. Lecture Notes in Logic, vol. 7. Association for Symbolic Logic. Freely available in electronic format from Project Euclid (2009)
Font J.M., Jansana R.: Leibniz filters and the strong version of a protoalgebraic logic. Arch. Math. Logic 40, 437–465 (2001)
Font, J.M., Jansana, R., Pigozzi, D.: A Survey of Abstract Algebraic Logic. Studia Logica, Special Issue on Algebraic Logic II, vol. 74, pp. 13–97 (2003)
Font J.M., Rodríguez G.: Algebraic study of two deductive systems of relevance logic. Notre Dame J Formal Logic 35, 369–397 (1994)
Jansana R.: Leibniz filters revisited. Studia Logica 75, 305–317 (2003)
Jansana R.: Selfextensional logics with a conjunction. Studia Logica 84, 63–104 (2006)
Pynko A.: Definitional equivalence and algebraizability of generalized logical systems. Ann. Pure Appl. Logic 98, 1–68 (1999)
Raftery J.G.: The equational definability of truth predicates. Rep. Math. Logic 41, 95–149 (2006)
Raftery J.G.: Correspondences between Gentzen and Hilbert systems. J. Symb. Logic 71, 903–957 (2006)
Wrónski A.: BCK-algebras do not form a variety. Math. Japonica 28, 211–213 (1983)
Author information
Authors and Affiliations
Corresponding author
Additional information
The research for the paper has been partially supported by 2009SGR-1433 research grant of the research funding agency AGAUR of the Generalitat de Catalunya, MTM2008-01139 research grant of the Spanish Ministry of Education and Science and by the MTM2011–25747 research grant of the Spanish Ministry of Science and Innovation.
Rights and permissions
About this article
Cite this article
Jansana, R. Algebraizable logics with a strong conjunction and their semi-lattice based companions. Arch. Math. Logic 51, 831–861 (2012). https://doi.org/10.1007/s00153-012-0301-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-012-0301-z
Keywords
- Algebraizable logics
- Strongly algebraizable logics
- Logics based on semi-lattices
- Abstract Algebraic logic