Categorical abstract algebraic logic: Equivalent institutions

DOI10.1023/A:1024682108396zbMATH Open1043.03049MaRDI QIDQ1422453FDOQ1422453

Authors: George Voutsadakis 

Publication date: 15 February 2004

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

Recommendations

• Categorical abstract algebraic logic: The criterion for deductive equivalence
• Categorical abstract algebraic logic: equivalential \(\pi\)-institutions
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

zbMATH Keywords

algebraic logicinstitutionsequivalent categoriesalgebraizable deductive systemsequivalent deductive systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Cited In (23)

• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Multi-term π-institutions and their equivalence
• Categorical abstract algebraic logic. Metalogical properties
• Categorical abstract algebraic logic: The criterion for deductive equivalence
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Correspondences between gentzen and hilbert systems
• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• Categorical abstract algebraic logic: hidden multi-sorted logics as multi-term \(\pi\)-institutions
• Categorical abstract algebraic logic: coordinatization is algebraization
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Title not available (Why is that?)
• Quasi-varieties in abstract algebraic institutions
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Categorical abstract algebraic logic: equivalential \(\pi\)-institutions
• Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
• Categorical abstract algebraic logic: meet-combination of logical systems
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic: referential algebraic semantics
• Categorical abstract algebraic logic: on admissible equivalence systems
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Abstract algebraic logic. An introductory chapter
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity

This page was built for publication: Categorical abstract algebraic logic: Equivalent institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1422453)