A categorical equivalence between logical quantale modules and quantum B‐modules

DOI10.1002/malq.202200062MaRDI QIDQ6140753

Unnamed Author, Xiao-Chuan Liu

Publication date: 2 January 2024

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free \(Q\)-algebras.
• Non-commutative logical algebras and algebraic quantales
• An order-theoretic analysis of interpretations among propositional deductive systems
• Łukasiewicz transform and its application to compression and reconstruction of digital images
• A note on Girard bimodules
• Tropological systems are points of quantales
• Quantum B-algebras: their omnipresence in algebraic logic and beyond
• Semigroups in complete lattices. Quantales, modules and related topics
• The completions of multi-posets and quantum B-algebras
• On the injective hulls of quantum B-algebras
• Quantum B-algebras
• On the category \(Q\)-\textbf{Mod}
• Quantales, observational logic and process semantics
• Constructing \(Q\)-algebras from \(Q\)-modules
• A dual equivalence for cofinal quantum B-algebras
• Quantum B‐modules

This page was built for publication: A categorical equivalence between logical quantale modules and quantum B‐modules