Multi-term π-institutions and their equivalence

DOI10.1002/malq.200610010zbMath1111.03056OpenAlexW2024599434MaRDI QIDQ3419674

José Gil-Férez

Publication date: 7 February 2007

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200610010

zbMATH Keywords

representabilityGrothendieck constructioninterpretabilitycategorical abstract algebraic logicisomorphism theoremcategory of theoriescofibrations

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract deductive systems (03B22)

Related Items

Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

Cites Work

• Unnamed Item
• Unnamed Item
• Equivalence of consequence operations
• Correspondences between gentzen and hilbert systems
• Institutions: abstract model theory for specification and programming