scientific article; zbMATH DE number 1028822

zbMath0875.03084MaRDI QIDQ4342085

Maria Luisa Dalla Chiara

Publication date: 8 July 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (24)

Empirical logics ⋮ Proof theory for minimal quantum logic. I ⋮ Fuzzy quantum logic. II: The logics of unsharp quantum mechanics ⋮ A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness ⋮ Automata theory based on quantum logic: Some characterizations ⋮ An intensional Schrödinger logic ⋮ Does science influence the logic we ought to use: A reflection on the quantum logic controversy ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ Extended quantum logic ⋮ Bibliography on quantum logics and related structures ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Brouwer-Zadeh logic, decidability and bimodal systems ⋮ Strong versus weak quantum consequence operations ⋮ A new axiomatization of unified quantum logic ⋮ Partial and unsharp quantum logics. ⋮ Three-valued logic, indeterminacy and quantum mechanics ⋮ Bounded lattice expansions ⋮ Quantum number theory ⋮ Generalised quantum weakest preconditions ⋮ Quantum logic, Hilbert space, revision theory ⋮ A logic for quantum register measurements ⋮ The Leibniz principle in quantum logic ⋮ Fuzzy intuitionistic quantum logics

This page was built for publication: