Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

• Autorzy: George Voutsadakis
• Języki publikacji: EN

Abstrakty

EN

This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the notion of a pseudoreferential matrix system is introduced and it is shown how this construct generalizes that of a referential matrix system. It is then shown that every π–institution has a pseudo-referential matrix system semantics. This contrasts with referential matrix system semantics which is only available for self-extensional π-institutions by a previous result of the author obtained as an extension of a classical result of Wójcicki. Finally, it is shown that it is possible to replace an arbitrary pseudoreferential matrix system semantics by a discrete pseudo-referential matrix system semantics.

Słowa kluczowe

EN

Referential Logics; Selfextensional Logics; Referential Semantics; Referential π-institutions; Selfextensional π-institutions; Pseudo- Referential Semantics; Discrete Referential Semantics

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2018
• Tom: 47
• Numer: 2

Daty

wydano

2018-06-30

Twórcy

autor

George Voutsadakis

Identyfikatory

DOI

10.18778/0138-0680.47.2.01