Proof theory of paraconsistent quantum logic
From MaRDI portal
Publication:1749807
DOI10.1007/s10992-017-9428-zzbMath1437.03178OpenAlexW2594264882MaRDI QIDQ1749807
Publication date: 28 May 2018
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-017-9428-z
Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)
Related Items (5)
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- LK, LJ, dual intuitionistic logic, and quantum logic
- Cut elimination and word problems for varieties of lattices
- From basic logic to quantum logics with cut-elimination
- Proof theory for minimal quantum logic. I
- Proof theory for minimal quantum logic. II
- Semantic analysis of orthologic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- Proof theory for minimal quantum logic: A remark
- The logic of quantum mechanics
- Constructible falsity and inexact predicates
- Sequential method in quantum logic
- Belnap's Four-Valued Logic and De Morgan Lattices
- Basic logic: reflection, symmetry, visibility
- Characterizing Belnap's Logic via De Morgan's Laws
- The geometry of non-distributive logics
- Constructible falsity
This page was built for publication: Proof theory of paraconsistent quantum logic