Topos-based logic for quantum systems and bi-Heyting algebras

DOI10.1017/CBO9781139519687.009zbMath1355.81018arXiv1202.2750OpenAlexW1628773795MaRDI QIDQ3179086

Andreas Döring

Publication date: 20 December 2016

Full work available at URL: https://arxiv.org/abs/1202.2750

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) General theory of von Neumann algebras (46L10) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Bialgebras (16T10)

Related Items (5)

Topos quantum theory with short posets ⋮ Spectral presheaves as quantum state spaces ⋮ A BRIDGE BETWEEN Q-WORLDS ⋮ Modality and contextuality in topos quantum theory ⋮ Negations and meets in topos quantum theory

This page was built for publication: Topos-based logic for quantum systems and bi-Heyting algebras