- Tytuł:
- Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
- Autorzy:
- Voutsadakis, George
- Powiązania:
- https://bibliotekanauki.pl/articles/750034.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Referential Logics
Selfextensional Logics
Referential Semantics
Referential π-institutions
Selfextensional π-institutions
Pseudo- Referential Semantics
Discrete Referential Semantics - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki