Higher-order quantum logics

DOI10.1007/BF00671777zbMATH Open0786.03043OpenAlexW1979177086MaRDI QIDQ685157FDOQ685157

Authors: David R. Finkelstein 

Publication date: 30 September 1993

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00671777

Recommendations

• Classical foundations of quantum logic
• Logic and quantum physics
• Typed quantum logic
• Quantum set theory
• Connections among quantum logics. I: Quantum propositional logics

zbMATH Keywords

Grassmann algebrafermionsbondhigher-order language for quantum physicshigher-order logicslattice chromodynamicsPeano set theoryquasiboson

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• On the exterior calculus of invariant theory

Cited In (4)

• Title not available (Why is that?)
• Typed quantum logic
• Quantum Probabilistic Dyadic Second-Order Logic
• Intuitionistic quantum logic of an \(n\)-level system

This page was built for publication: Higher-order quantum logics

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