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

&
Mathematical Logic Quarterly (forthcoming)
  Copy   BIBTEX

Abstract

This paper introduces the notion of logical quantale module. It proves that there is a dual equivalence between the category of logical quantale modules and the category of quantum B‐modules, in the way that every quantum B‐module admits a natural embedding into a logical quantale module, the enveloping quantale module.

Categories

Keywords

Reprint years

DOI

10.1002/malq.202200062

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

ℵ0-categorical modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213 - 220.
$aleph_0$-Categorical Modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213-220.
Interpreting modules in modules.Mike Prest - 1997 - Annals of Pure and Applied Logic 88 (2-3):193-215.
Model-theoretic aspects of Σ-cotorsion modules.Pedro Guil Asensio & Ivo Herzog - 2007 - Annals of Pure and Applied Logic 146 (1):1-12.
Model-theoretic aspects of Σ-cotorsion modules.Pedro A. Guil Asensio & Ivo Herzog - 2007 - Annals of Pure and Applied Logic 146 (1):1-12.
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.Hans Heymans & Isar Stubbe - 2010 - Annals of Pure and Applied Logic 161 (1):43-65.
Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.
Strict Mittag‐Leffler modules.P. A. Guil Asensio, M. C. Izurdiaga, Ph Rothmaler & B. Torrecillas - 2011 - Mathematical Logic Quarterly 57 (6):566-570.
Modules of existentially closed algebras.Paul C. Eklof & Hans-Christian Mez - 1987 - Journal of Symbolic Logic 52 (1):54-63.
Mittag-Leffler modules.Philipp Rothmaler - 1997 - Annals of Pure and Applied Logic 88 (2-3):227-239.
The Complexity of Radicals and Socles of Modules.Huishan Wu - 2020 - Notre Dame Journal of Formal Logic 61 (1):141-153.
On Injective MV-Modules.Rajabali A. Borzooei & S. Saidi Goraghani - 2018 - Bulletin of the Section of Logic 47 (4):283-298.
Segregation and integration of information among visual modules.Giorgio Vallortigara - 1999 - Behavioral and Brain Sciences 22 (3):398-399.
The modular structure of physical theories.Olivier Darrigol - 2008 - Synthese 162 (2):195 - 223.
Theories of modules closed under direct products.Roger Villemaire - 1992 - Journal of Symbolic Logic 57 (2):515-521.

Analytics

Added to PP
2023-07-22

Downloads
10 (#1,193,888)

6 months
7 (#430,521)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Non-commutative logical algebras and algebraic quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.
Quantum B‐modules.Xia Zhang & Wolfgang Rump - 2022 - Mathematical Logic Quarterly 68 (2):159-170.

Add more references