Categorical Abstract Algebraic Logic: Referential π-Institutions
DOI:
https://doi.org/10.18778/0138-0680.44.1.2.05Keywords:
Referential Logics, Selfextensional Logics, Leibniz operator, Tarski operator, Suszko operator, π-institutionsAbstract
Wojcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of algebraic and matrix semantics of arbitrary sentential logics. A well-known theorem of Wojcicki asserts that a logic has a referential semantics if and only if it is selfextensional. Referential semantics was subsequently studied in detail by Malinowski and the concept of selfextensionality has played, more recently, an important role in the field of abstract algebraic logic in connection with the operator approach to algebraizability. We introduce and review some of the basic definitions and results pertaining to the referential semantics of π-institutions, abstracting corresponding results from the realm of propositional logics.
References
Blok W. J. and Pigozzi D., Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, No. 396 (1989). DOI: https://doi.org/10.1090/memo/0396
Czelakowski J., Equivalential Logics II, Studia Logica, Vol. 40, No. 4 (1981), pp. 355–372. DOI: https://doi.org/10.1007/BF00401654
Czelakowski J., The Suszko Operator Part I, Studia Logica, Vol. 74, No. 1-2 (2003), pp. 181–231. DOI: https://doi.org/10.1023/A:1024678007488
Czelakowski J., Fregean Logics and the Strong Amalgamation Property, Bulletin of the Section of Logic, Vol. 36, No. 3/4 (2007), pp. 105–116.
Czelakowski J. and Pigozzi D., Amalgamation and Interpolation in Abstract Algebraic Logic, Models, Algebras and Proofs, in Lecture Notes in Pure and Applied Mathematics 203, Dekker, New York, 1999, pp. 187–265.
Czelakowski J. and Pigozzi D., Fregean Logics, Annals of Pure and Applied Logic, Vol. 127, No. 1-3 (2004), pp. 17–76. DOI: https://doi.org/10.1016/j.apal.2003.11.008
Czelakowski J. and Pigozzi D., Fregean Logics with the Multiterm Deduction Theorem and Their Algebraization, Studia Logica, Vol. 78, No. 1-2 (2004), pp. 171–212. DOI: https://doi.org/10.1007/s11225-005-1212-3
Font J. M. and Jansana R., A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Vol. 332, No. 7 (1996), Springer-Verlag, Berlin Heidelberg, 1996 DOI: https://doi.org/10.1007/978-3-662-21591-3
Jansana R., Selfextensional Logics in Abstract Algebraic Logic: a Brief Survey, [in:] J.-Y. Béziau, A. Costa-Leite, and A. Facchini, (eds.), Aspects of Universal Logic, Cahiers de Logique, No. 17, Centre de Recerches Sémiologiques, Université de Neuchâtel, Neuchâtel, 2004, pp. 32–65.
Jansana R., Selfextensional Logics with Implication, Béziau, Jean-Yves (ed.), Logica Universalis. Towards a general theory of logic. Basel: Birkh¨auser 2005, pp. 65–88. DOI: https://doi.org/10.1007/3-7643-7304-0_4
Jansana R., Selfextensional Logics with a Conjunction, Studia Logica, Vol. 84, No. 1 (2006), pp. 63–104. DOI: https://doi.org/10.1007/s11225-006-9003-z
Jansana R. and Palmigiano A., Referential Semantics: Duality and Applications, Reports on Mathematical Logic, Vol. 41 (2006), pp. 63–93.
Malinowski G., A Proof of Ryszard Wójcicki’s Conjecture, Bulletin of the Section of Logic, Vol. 7, No. 1 (1978), pp. 20–25.
Malinowski G., Pseudo-Referential Matrix Semantics for Propositional Logics, Bulletin of the Section of Logic, Vol. 12, No. 3 (1983), pp. 90–98.
Malinowski G., Many-Valued Referential Matrices, Bulletin of the Section of Logic, Vol. 24, No. 3 (1995), pp. 140–146.
Malinowski G., Referentiality and Matrix Semantics, Studia Logica, Vol. 97, No. 2 (2011), pp. 297–312.’ DOI: https://doi.org/10.1007/s11225-011-9307-5
Marek I., Remarks on Pseudo-Referential Matrices, Bulletin of the Section of Logic, Vol. 16, No. 2 (1987), pp. 89–92.
Pigozzi D., Fregean Algebraic Logic, [in:] H. Andréka, J. Monk, and I. Németi, (eds.), Algebraic Logic, Budapest, 8-14 August, 1988, Colloquia Mathematica Societatis János Bolyai, Vol. 54, North-Holland, Amsterdam, 1991, pp. 473–502.
Tokarz M., Synonymy in Sentential Languages: a Pragmatic View, Studia Logica, Vol. 47, No. 2 (1988), pp. 93–97. DOI: https://doi.org/10.1007/BF00370284
Wójcicki R., Referential Matrix Semantics for Propositional Calculi, Bulletin of the Section of Logic, Vol. 8, No. 4 (1979), pp. 170–176.
Wójcicki R., More About Referential Matrices, Bulletin of the Section of Logic, Vol. 9, No. 2 (1980), pp. 93–95.
Wójcicki R., Theory of Logical Calculi, Basic Theory of Consequence Operations, Vol. 199, Synthese Library, Reidel, Dordrecht, 1988. DOI: https://doi.org/10.1007/978-94-015-6942-2
Voutsadakis G., Categorical Abstract Algebraic Logic: Models of π-Institutions, Notre Dame Journal of Formal Logic, Vol. 46, No. 4 (2005), pp. 439–460. DOI: https://doi.org/10.1305/ndjfl/1134397662
Voutsadakis G., Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties, Reports on Mathematical Logic, Vol. 41 (2006), pp. 31–62.
Voutsadakis G., Categorical Abstract Algebraic Logic: Referential Algebraic Semantics, Studia Logica, Vol. 101, No. 4 (2013), pp. 849–899. DOI: https://doi.org/10.1007/s11225-013-9500-9
Voutsadakis G., Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients, to appear in the Journal of Pure and Applied Mathematics: Advances and Applications.
Voutsadakis G., Categorical Abstract Algebraic Logic: Selfextensional π-Institutions with Implication, available in http://www.voutsadakis.com/RESEARCH/papers.html
Voutsadakis G., Categorical Abstract Algebraic Logic: Selfextensional π-Institutions with Conjunction, available in http://www.voutsadakis.com/RESEARCH/papers.html
Downloads
Published
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
How to Cite
