LK, LJ, dual intuitionistic logic, and quantum logic

DOI10.1305/ndjfl/1099238445zbMath1088.03026OpenAlexW2057714618WikidataQ55891978 ScholiaQ55891978MaRDI QIDQ558432

Hiroshi Aoyama

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

zbMATH Keywords

sequent calculusquantum logicintuitionistic logicclassical logicparaconsistent logicdual intuitionistic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Quantum logic (03G12) Paraconsistent logics (03B53)

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