Labeled Sequent Calculus for Orthologic

DOI10.18778/0138-0680.47.4.01zbMath1437.03179OpenAlexW2944994753MaRDI QIDQ5742614

Tomoaki Kawano

Publication date: 15 May 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.47.4.01

zbMATH Keywords

sequent calculusdecidabilityquantum logicKripke modelcut-elimination theorem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12)

Related Items (1)

Sequent Calculi for Orthologic with Strict Implication

This page was built for publication: Labeled Sequent Calculus for Orthologic