Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Discrete Referential Semantics

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

100%

Voutsadakis G.

Bulletin of the Section of Logic

2018

tom 47

nr 2

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.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Voutsadakis G.

1 2018

Wyniki wyszukiwania

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics