Modules over quantaloids: applications to the isomorphism problem in algebraic logic and -institutions

DOI10.1016/J.JPAA.2016.05.012MaRDI QIDQ308133zbMATH OpenOpenAlexFDO

Authors Nikolaos Galatos, José Gil-Férez

Publication date 5 September 2016

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2016.05.012

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Abstract deductive systems (03B22) Logic in computer science (03B70) Categorical logic, topoi (03G30) Quantales (06F07) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Categorical abstract algebraic logic: Equivalent institutions
• Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic: equivalential \(\pi\)-institutions
• Categorical abstract algebraic logic: on admissible equivalence systems

Cites work

• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 803303 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Algebraic semantics for deductive systems
• Algebraizable logics
• Categorical abstract algebraic logic: Equivalent institutions
• Categorical logic and type theory
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Free quantaloids
• Multi-term π-institutions and their equivalence
• Q-modules are Q-suplattices
• Quantaloids for concurrency
• Representations of structural closure operators

Cited in

(7)

• Equivalence of consequence relations: an order-theoretic and categorical perspective
• The semantic isomorphism theorem in abstract algebraic logic
• Coproduct and amalgamation of deductive systems by means of ordered algebras
• An abstract approach to consequence relations
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Abstract algebraic logic. An introductory chapter
• \(M\)-sets and the representation problem

This page was built for publication: Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions

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