Categorical abstract algebraic logic: Equivalent institutions

DOI10.1023/A:1024682108396MaRDI QIDQ1422453zbMATH OpenFDO

Authors George Voutsadakis

Publication date 15 February 2004

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

algebraic logicinstitutionsequivalent categoriesalgebraizable deductive systemsequivalent deductive systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

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

Cited in

(23)

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

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)