LK, LJ, dual intuitionistic logic, and quantum logic

DOI10.1305/NDJFL/1099238445MaRDI QIDQ558432zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

intuitionistic logicparaconsistent logicquantum logicsequent calculusclassical logicdual intuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• Dual-intuitionistic logic
• scientific article; zbMATH DE number 1612555
• scientific article; zbMATH DE number 3946125
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• A note on dual-intuitionistic logic

Cites work

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 3853071 (Why is no real title available?)
• scientific article; zbMATH DE number 3819714 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 591901 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• A remark on Gentzen's calculus of sequents
• Basic logic: reflection, symmetry, visibility
• Dual-intuitionistic logic
• On closed elements in closure algebras
• Proof theory. 2nd ed
• Semantic analysis of orthologic
• Sequential method in quantum logic
• Substructural logics: a primer
• The Logic of Contradiction

Cited in

(6)

• Proof theory and mathematical meaning of paraconsistent C-systems
• Proof theory of paraconsistent quantum logic
• Revisiting da Costa logic
• Intuitionistic dual-intuitionistic nets
• Weakening and extending \(\mathbb{Z}\)
• The original sin of proof-theoretic semantics

This page was built for publication: LK, LJ, dual intuitionistic logic, and quantum logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558432)