Sequential method in quantum logic
From MaRDI portal
Cites work
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- An Approach to Empirical Logic
- An axiomatisation of quantum logic
- scientific article; zbMATH DE number 3266514 (Why is no real title available?)
- On the algebraic structure of quantum mechanics
- Quantum logic and physical modalities
- Quantum logic as an implication algebra
- Semantic analysis of orthologic
- The logic of quantum mechanics
- Untersuchungen über das logische Schliessen. II
Cited in
(22)- Minimal quantum logic with merged implications
- Bibliography on quantum logics and related structures
- Empirical logics
- Proof theory for minimal quantum logic. I
- Proof theory of paraconsistent quantum logic
- Quantum number theory
- Natural deduction for quantum logic
- On interval modal logic with ``after relation
- 2002–2003 Winter Meeting of the Association for Symbolic Logic
- Classical logic and quantum logic with multiple and common lattice models
- LK, LJ, dual intuitionistic logic, and quantum logic
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Sequent Calculi for Orthologic with Strict Implication
- Quantum logic for observation of physical quantities
- A natural deduction system for orthomodular logic
- A new axiomatization of unified quantum logic
- Nonordered quantum logic and its YES-NO representation
- Quantum modal logic
- Decidability of quantum modal logic
- Nested-sequent calculus for modal logic \textbf{MB}
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
- Towards a quantum logic of paradox
This page was built for publication: Sequential method in quantum logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3877681)
