Search
Now showing items 1-3 of 3
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 Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with ...
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 ...