Deductive systems for dynamic quantum logic

DOI10.1007/978-3-032-22626-6_3MaRDI QIDQ7411874zbMATH OpenFDO

Authors Tomoaki Kawano

Publication date 2026

Full work available at URL https://doi.org/10.1007/978-3-032-22626-6_3

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• A natural deduction system for orthomodular logic
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• Advanced Kripke frame for quantum logic
• Complete axiomatizations for quantum actions
• From basic logic to quantum logics with cut-elimination
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Labeled Sequent Calculus for Orthologic
• LQP: the dynamic logic of quantum information
• Material implications in orthomodular (and Boolean) lattices
• Modal logic
• Proof analysis in modal logic
• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic. II
• Quantum logic as a dynamic logic
• Sequent Calculi for Orthologic with Strict Implication
• Sequential method in quantum logic
• The dynamic turn in quantum logic
• The logic of quantum mechanics

This page was built for publication: Deductive systems for dynamic quantum logic

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