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

(11)

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

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)