Categorical abstract algebraic logic: Equivalent institutions
From MaRDI portal
Publication:1422453
DOI10.1023/A:1024682108396zbMath1043.03049MaRDI QIDQ1422453
Publication date: 15 February 2004
Published in: Studia Logica (Search for Journal in Brave)
institutionsequivalent categoriesalgebraic logicalgebraizable deductive systemsequivalent deductive systems
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