The semantic isomorphism theorem in abstract algebraic logic

DOI10.1016/j.apal.2016.08.001zbMath1432.03134OpenAlexW2515410204MaRDI QIDQ324257

Tommaso Moraschini

Publication date: 10 October 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.08.001

zbMATH Keywords

abstract algebraic logicalgebraizable logicscompositional latticeevaluational framessemantic isomorphism theoremstructural closure operators

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantales (06F07) Abstract algebraic logic (03G27) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ Abstract algebraic logic. An introductory chapter ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS

Cites Work

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• Representations of structural closure operators
• An order-theoretic analysis of interpretations among propositional deductive systems
• Residuated lattices. An algebraic glimpse at substructural logics
• Update to ``A survey of abstract algebraic logic
• An algebraic approach to non-classical logics
• Algebraic point lattices of quasivarieties
• \(M\)-sets and the representation problem
• Equivalence of consequence operations
• Projectives and injectives in the category of complete lattices with residuated mappings
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Correspondences between gentzen and hilbert systems
• Algebraizable logics
• Category Theory
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The semantic isomorphism theorem in abstract algebraic logic