Categorical Abstract Algebraic Logic: Referential π-Institutions-Reference-Cited by-同舟云学术

Categorical Abstract Algebraic Logic: Referential π-Institutions

Published:2015-01-01 Issue:1/2 Volume:44 Page:
ISSN:2449-836X
Container-title:Bulletin of the Section of Logic
language:
Short-container-title:B Sect Log

Author:

Voutsadakis George

Abstract

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.

Publisher

Uniwersytet Lodzki (University of Lodz)

Subject

Logic,Philosophy

Reference28 articles.

1. Blok W. J. and Pigozzi D., Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, No. 396 (1989).

2. Czelakowski J., Equivalential Logics II, Studia Logica, Vol. 40, No. 4 (1981), pp. 355–372.

3. Czelakowski J., The Suszko Operator Part I, Studia Logica, Vol. 74, No. 1-2 (2003), pp. 181–231.

4. Czelakowski J., Fregean Logics and the Strong Amalgamation Property, Bulletin of the Section of Logic, Vol. 36, No. 3/4 (2007), pp. 105–116.

5. 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.