scientific article; zbMATH DE number 3819714

zbMATH Open0518.03029MaRDI QIDQ3666849FDOQ3666849

Authors: Nigel J. Cutland, P. F. Gibbins 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)

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

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)