Now showing items 1-2 of 2
Categorical Abstract Algebraic Logic: Referential π-Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)
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 ...
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
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 ...