Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions

DOI10.1016/j.jpaa.2016.05.012zbMath1448.03054OpenAlexW2468308957MaRDI QIDQ308133

José Gil-Férez, Nikolaos Galatos

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

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

Related Items (6)

The semantic isomorphism theorem in abstract algebraic logic ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ Abstract algebraic logic. An introductory chapter ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ \(M\)-sets and the representation problem ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

Cites Work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Representations of structural closure operators
• Free quantaloids
• Categorical logic and type theory
• Algebraic semantics for deductive systems
• Categorical abstract algebraic logic: Equivalent institutions
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Multi-term π-institutions and their equivalence
• Q-modules are Q-suplattices
• Algebraizable logics
• Quantaloids for concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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