scientific article; zbMATH DE number 1283787
From MaRDI portal
Publication:4240157
zbMath0922.03085MaRDI QIDQ4240157
Mladen Pavičić, Norman D. Megill
Publication date: 11 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (3)
Automatic proofs and counterexamples for some ortholattice identities ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Natural deduction for quantum logic
This page was built for publication:
