Categorical abstract algebraic logic weakly referential π-institutions

• Autorzy: Voutsadakis G.

Identyfikatory

DOI

10.4467/20842589RM.16.007.5284

• Języki publikacji: EN

Abstrakty

EN

Wójcicki 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 Wójcicki asserts that a logic has a referential semantics if and only if it is selfextensional. A second theorem of Wójcicki asserts that a logic has a weakly referential semantics if and only if it is weakly self- extensional. We formulate and prove an analog of this theorem in the categorical setting. We show that a π-institution has a weakly referential semantics if and only if it is weakly self-extensional.

Słowa kluczowe

EN

referential logics; selfextensional logics; referential semantics; referential π-institutions; selfextensional π-institutions

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2016
• Tom: Vol. 51
• Strony: 91--103
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Voutsadakis G.

• School of Mathematics and Computer Science Lake Superior State University Sault Sainte Marie, MI 49783 USA

Bibliografia

• [1] W. J. Blok and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, No. 396 (1989)
• [2] J. Czelakowski, The Suszko Operator Part I, Studia Logica 74:1-2 (2003), 181-231.
• [3] J. M. Font and R. Jansana, A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Vol. 332, No. 7 (1996), Springer-Verlag, Berlin Heidelberg, 1996.
• [4] R. Jansana and A. Palmigiano, Referential Semantics: Duality and Applications, Reports on Mathematical Logic 41 (2006), 63-93.
• [5] R. Wójcicki, Referential Matrix Semantics for Propositional Calculi, Bulletin of the Section of Logic 8:4 (1979), 170-176.
• [6] R. Wójcicki, More About Referential Matrices, Bulletin of the Section of Logic 9:2 (1980), 93-95.
• [7] G. Voutsadakis, Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties, Reports on Mathematical Logic 41 (2006), 31-62.
• [8] G. Voutsadakis, Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity, Studia Logica 85:2 (2007), 215-249.
• [9] G. Voutsadakis, Categorical Abstract Algebraic Logic: Referential Algebraic Semantics, Studia Logica 101:4 (2013), 849-899.
• [10] G. Voutsadakis, Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients, Journal of Pure and Applied Mathematics: Advances and Applications 13:1 (2015), 27-73.
• [11] G. Voutsadakis, Categorical Abstract Algebraic Logic: Referential π-Institutions, Bulletin of the Section of Logic 44:1/2 (2015), 33-51.