scientific article
From MaRDI portal
Publication:3666849
zbMath0518.03029MaRDI QIDQ3666849
P. F. Gibbins, Nigel J. Cutland
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (9)
Proof theory for minimal quantum logic. I ⋮ ‘Transitivity’ of Consequence Relations ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ A double deduction system for quantum logic based on natural deduction ⋮ Proof theory of paraconsistent quantum logic ⋮ General-elimination stability ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Natural deduction for quantum logic
This page was built for publication:
