Translator Disclaimer
2004 LK, LJ, Dual Intuitionistic Logic, and Quantum Logic
Hiroshi Aoyama
Notre Dame J. Formal Logic 45(4): 193-213 (2004). DOI: 10.1305/ndjfl/1099238445

Abstract

In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic (orthologic and orthomodular logic). These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic (a kind of paraconsistent logic). Our study is completely syntactical.

Citation

Download Citation

Hiroshi Aoyama. "LK, LJ, Dual Intuitionistic Logic, and Quantum Logic." Notre Dame J. Formal Logic 45 (4) 193 - 213, 2004. https://doi.org/10.1305/ndjfl/1099238445

Information

Published: 2004
First available in Project Euclid: 29 October 2004

zbMATH: 1088.03026
MathSciNet: MR2130478
Digital Object Identifier: 10.1305/ndjfl/1099238445

Subjects:
Primary: 03B53, 03B60

Rights: Copyright © 2004 University of Notre Dame

JOURNAL ARTICLE
21 PAGES


SHARE
Vol.45 • No. 4 • 2004
Back to Top