Formal Concept Analysis and Structures Underlying Quantum Logics

DOI10.1007/978-3-319-91473-2_49WikidataQ131147321 ScholiaQ131147321MaRDI QIDQ6485387FDOQ6485387

Authors: Ondrej Krídlo, Manuel Ojeda-Aciego 

Publication date: 6 December 2022

Published in: 1512.68326 (Search for Journal in Brave)

Recommendations

• Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics
• Quantum logics and Hilbert space
• Quantum logic, Hilbert space, revision theory
• Topos-based logic for quantum systems and bi-Heyting algebras
• scientific article; zbMATH DE number 5214898

Mathematics Subject Classification ID

Knowledge representation (68T30) Quantum logic (03G12)

Cited In (4)

• Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics
• The complete Heyting algebra of subsystems and contextuality
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Quantum logic, Hilbert space, revision theory

This page was built for publication: Formal Concept Analysis and Structures Underlying Quantum Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6485387)