LK, LJ, dual intuitionistic logic, and quantum logic

DOI10.1305/NDJFL/1099238445zbMATH Open1088.03026DBLPjournals/ndjfl/Aoyama04OpenAlexW2057714618WikidataQ55891978 ScholiaQ55891978MaRDI QIDQ558432FDOQ558432

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

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

zbMATH Keywords

intuitionistic logicparaconsistent logicquantum logicsequent calculusclassical logicdual intuitionistic logic

Mathematics Subject Classification ID

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

Cites Work

• Substructural logics: a primer
• Title not available (Why is that?)
• Dual-intuitionistic logic
• The Logic of Contradiction
• Proof theory. 2nd ed
• On closed elements in closure algebras
• Title not available (Why is that?)
• Semantic analysis of orthologic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Basic logic: reflection, symmetry, visibility
• Title not available (Why is that?)
• A remark on Gentzen's calculus of sequents
• Sequential method in quantum logic
• Title not available (Why is that?)

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)