Modules over quantaloids: applications to the isomorphism problem in algebraic logic and -institutions
DOI10.1016/J.JPAA.2016.05.012zbMATH Open1448.03054OpenAlexW2468308957MaRDI QIDQ308133FDOQ308133
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
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
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)
Cites Work
- Categorical logic and type theory
- Title not available (Why is that?)
- Categorical structures enriched in a quantaloid: tensored and cotensored categories
- Q-modules are Q-suplattices
- Algebraizable logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Free quantaloids
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantaloids for concurrency
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- 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)
