LK, LJ, dual intuitionistic logic, and quantum logic
From MaRDI portal
Publication:558432
DOI10.1305/ndjfl/1099238445zbMath1088.03026OpenAlexW2057714618WikidataQ55891978 ScholiaQ55891978MaRDI QIDQ558432
Publication date: 6 July 2005
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1099238445
sequent calculusquantum logicintuitionistic logicclassical logicparaconsistent logicdual intuitionistic logic
Related Items (5)
Revisiting da Costa logic ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ The original sin of proof-theoretic semantics ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Proof theory of paraconsistent quantum logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory. 2nd ed
- A remark on Gentzen's calculus of sequents
- Dual-intuitionistic logic
- Semantic analysis of orthologic
- Substructural logics: a primer
- On closed elements in closure algebras
- Sequential method in quantum logic
- The Logic of Contradiction
- Basic logic: reflection, symmetry, visibility
This page was built for publication: LK, LJ, dual intuitionistic logic, and quantum logic