Wyniki
-
Categorical Abstract Algebraic Logic Referential π-Institutions
George Voutsadakis
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 33-51 -
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
George Voutsadakis
Bulletin of the Section of Logic , 45 /2 (2016) s. 111-124 -
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
George Voutsadakis
Bulletin of the Section of Logic , 47 /2 (2018) s. 69-88