Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

George Voutsadakis — 2018

Bulletin of the Section of Logic

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...

Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions

George Voutsadakis — 2016

Bulletin of the Section of Logic

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 substitutions. We show that the π-institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-F´erez. This provides a proof of the result of Babenyshev and Martins by appealing to the general result...

Page 1

Download Results (CSV)