Proof theory for minimal quantum logic. II

DOI10.1007/BF00670687MaRDI QIDQ1340318zbMATH OpenOpenAlexWikidataFDO

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

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)

Review text

This paper provides lengthy proofs of the two duality theorems and the cut-elimination theorem of Part I [ibid. 33, No. 1, 103-113 (1994; Zbl 0798.03062], which were presented there without proofs due to limitation of space.

Recommendations

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

Cites work

• Proof theory for minimal quantum logic. I

Cited in

(6)

• Proof theory for minimal quantum logic. I
• Proof theory of paraconsistent quantum logic
• Proof theory for minimal quantum logic: A remark
• A solution of the uniform word problem for ortholattices
• 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)