Proof theory for minimal quantum logic. I

DOI10.1007/BF00671616zbMath0798.03062WikidataQ56387772 ScholiaQ56387772MaRDI QIDQ1325718

Hirokazu Nishimura

Publication date: 3 November 1994

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

proof theoryduality theoremcut-elimination theoremsequential systemminimal quantum logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12)

Related Items (7)

Proof theory for minimal quantum logic. II ⋮ Proof theory for minimal quantum logic: A remark ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Proof theory of paraconsistent quantum logic ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ A solution of the uniform word problem for ortholattices ⋮ Gentzen-type calculi for involutive quantales

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantic analysis of orthologic
• Untersuchungen über das logische Schliessen. I
• Semantics of the minimal logic of quantum mechanics
• Orthomodularity is not elementary
• Sequential method in quantum logic
• The Stone Space of an Ortholattice
• Free Ortholattices
• Imbedding of the quantum logic in the modal system of Brower
• Proof theory

This page was built for publication: Proof theory for minimal quantum logic. I