Proof theory for minimal quantum logic. II

DOI10.1007/BF00670687zbMATH Open0809.03045OpenAlexW4251783537WikidataQ56387773 ScholiaQ56387773MaRDI QIDQ1340318FDOQ1340318

Authors: Hirokazu Nishimura 

Publication date: 11 December 1994

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

Full work available at URL: https://doi.org/10.1007/bf00670687

Recommendations

• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic: A remark
• Proof theory of paraconsistent quantum logic

zbMATH Keywords

cut-elimination theoremduality theoremsGentzen method

Mathematics Subject Classification ID

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

Cites Work

• Proof theory for minimal quantum logic. I

Cited In (5)

• Proof theory of paraconsistent quantum logic
• A solution of the uniform word problem for ortholattices
• Proof theory for minimal quantum logic: A remark
• Sequent Calculi for Orthologic with Strict Implication
• Quantum logic for observation of physical quantities

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1340318)