Proof theory for minimal quantum logic. II

DOI10.1007/BF00670687zbMath0809.03045OpenAlexW4251783537WikidataQ56387773 ScholiaQ56387773MaRDI QIDQ1340318

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

zbMATH Keywords

duality theoremscut-elimination theoremGentzen method

Mathematics Subject Classification ID

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

Related Items

Sequent Calculi for Orthologic with Strict Implication, Proof theory of paraconsistent quantum logic, A solution of the uniform word problem for ortholattices

Cites Work

• Proof theory for minimal quantum logic. I