Sequential method in quantum logic

DOI10.2307/2273194zbMath0437.03034OpenAlexW2112103497MaRDI QIDQ3877681

Hirokazu Nishimura

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273194

zbMATH Keywords

orthomodular logicorthologiccalculi of sequencesproof-theoretic aspects

Mathematics Subject Classification ID

Quantum logic (03G12) Proof theory and constructive mathematics (03F99)

Related Items (16)

Empirical logics ⋮ Proof theory for minimal quantum logic. I ⋮ On interval modal logic with ``after relation ⋮ Minimal quantum logic with merged implications ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Bibliography on quantum logics and related structures ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Proof theory of paraconsistent quantum logic ⋮ 2002–2003 Winter Meeting of the Association for Symbolic Logic ⋮ A new axiomatization of unified quantum logic ⋮ Nonordered quantum logic and its YES-NO representation ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ Quantum number theory ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Natural deduction for quantum logic

Cites Work

• Unnamed Item
• Quantum logic and physical modalities
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Semantic analysis of orthologic
• Untersuchungen über das logische Schliessen. II
• On the algebraic structure of quantum mechanics
• The logic of quantum mechanics
• An axiomatisation of quantum logic
• Quantum logic as an implication algebra
• An Approach to Empirical Logic

This page was built for publication: Sequential method in quantum logic