scientific article; zbMATH DE number 3819714

MaRDI QIDQ3666849zbMATH OpenFDO

Authors Nigel J. Cutland, P. F. Gibbins

Publication date 1982

zbMATH Keywords

proof theory of quantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cited in

(10)

• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• Natural deduction for quantum logic
• A natural deduction system for orthomodular logic
• A double deduction system for quantum logic based on natural deduction
• LK, LJ, dual intuitionistic logic, and quantum logic
• ``Transitivity of consequence relations
• Proof theory of paraconsistent quantum logic
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
• General-elimination stability
• Proof theory for minimal quantum logic. I

This page was built for publication:

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