LK, LJ, Dual Intuitionistic Logic, and Quantum Logic
Hiroshi Aoyama · Notre Dame Journal of Formal Logic · 2004
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.