Classical Logic and Quantum Logic with Multiple and Common Lattice Models

Mladen Pavičić

Advances in Mathematical Physics, 2016, vol. 2016, issue 1

Abstract: We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices. In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices. We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic. In technical terms, that enables us to run the same classical logic on both a digital (standard, two‐subset, 0‐1‐bit) computer and a nondigital (say, a six‐subset) computer (with appropriate chips and circuits). With quantum logic, the same six‐element common lattice can serve us as a benchmark for an efficient evaluation of equations of bigger lattice models or theorems of the logic.

Date: 2016
References: Add references at CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1155/2016/6830685

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:jnlamp:v:2016:y:2016:i:1:n:6830685

Access Statistics for this article

More articles in Advances in Mathematical Physics from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().