Higher-order quantum logics

DOI10.1007/BF00671777MaRDI QIDQ685157zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• On the exterior calculus of invariant theory

Cited in

(4)

• Intuitionistic quantum logic of an \(n\)-level system
• Quantum Probabilistic Dyadic Second-Order Logic
• Typed quantum logic
• scientific article; zbMATH DE number 5670199 (Why is no real title available?)

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)