Categorical abstract algebraic logic: Equivalent institutions

DOI10.1023/A:1024682108396zbMath1043.03049MaRDI QIDQ1422453

George Voutsadakis

Publication date: 15 February 2004

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

institutionsequivalent categoriesalgebraic logicalgebraizable deductive systemsequivalent deductive systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items

Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity, Categorical abstract algebraic logic: meet-combination of logical systems, Categorical abstract algebraic logic: referential algebraic semantics, Abstract algebraic logic. An introductory chapter, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, Correspondences between gentzen and hilbert systems, Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions, Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Categorical abstract algebraic logic: models of \(\pi\)-institutions