LK, LJ, Dual Intuitionistic Logic, and Quantum Logic
Aoyama, Hiroshi
Notre Dame J. Formal Logic, Tome 45 (2004) no. 1, p. 193-213 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2004-10-14
Classification:  LK,  LJ,  dual intuitionistic logic,  paraconsistent logic,  quantum logic,  03B53,  03B60 
@article{1099238445,
     author = {Aoyama, Hiroshi},
     title = {LK, LJ, Dual Intuitionistic Logic, and Quantum Logic},
     journal = {Notre Dame J. Formal Logic},
     volume = {45},
     number = {1},
     year = {2004},
     pages = { 193-213},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1099238445}
}

Aoyama, Hiroshi. LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. Notre Dame J. Formal Logic, Tome 45 (2004) no. 1, pp.  193-213. http://gdmltest.u-ga.fr/item/1099238445/