Now showing items 1-1 of 1
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 ...