Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal of Symbolic Logic

Quantum logic and the classical propositional calculus

Othman Qasim Malhas

Published Sep 1, 1987• 6 citations
Publisher

Abstract

Abstract In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.
DOI
10.1017/s0022481200029819

Related papers

What We Can do with Propositional Quantum Logic and a Functor in a Classical Propositional Calculus

Alex Patterson

Using Functor Substitutability for the basis of creating an intuitionist interpretation of the results of that subscribe. Laying the Grounds for Challenging Goedel's Incompleteness Theorems with the Aspects of the Poincare Group. Proceeding with: Propositional Quantum Logic, Transitioning “Non-Commensurable” Smoothly to Functor-Auxiliary Substitutability and Detachment.

•Jan 1, 2016•0 citations

Quantum Logic

Peter Mittelstaedt

It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥. Furthermore, since the subspaces can be interpreted as quantum mechanical propositions, and since the operations ∩,∪ ,⊥ have some similarity with the logical operations ⋀ (and), ⋁ (or) and ⌝ (not), the question has been raised already by Birkhoff and v. Neumann, whether the lattice of subspaces of Hilbert space can be interpreted as a propositional calculus, sometimes called quantum logic. There are many kinds of lattices which can be interpreted as a propositional or logical calculus. A Boolean lattice LB of propositions corresponds to the calculus of classical logic and an implicative (Birkhoff, 1961) lattice Li has as a model the calculus of effective (intuitionistic) logic.

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association•Jan 1, 1974•0 citations

Quantum logic with implication.

J. Jay Zeman

The non-classical nature of quantum theory has led to a number of efforts to formalize the logic of statements whose universe of discourse is the subatomic (see, for example, [3], [6], [8], and [10]).It might be hoped that ideally the fruit of such efforts would be a formalism not totally divorced from the classical logic, but incorporating or incorporated in it in such a manner as to unify the logic of the micro-and the macro-worlds.Indeed, this has been the general direction taken by these efforts, including that which we principally examine and expand upon here.*Josef Jauch, [6], pp.67-89, developed a "propositional calculus of quantum mechanics".He objected to calling a system like his a "logic of quantum mechanics"; however, our use of 'logic' here is not, I think, the use to which Jauch objected.A logic, for our present purposes, is a mathematical formalism having a reasonable interpretation as a theory of deduction; its actual application as normative of argumentation in reality is a matter of empirical judgment.This seems close to the way Jauch wished to use "propositional calculus" but more general, allowing for extension to a quantification theory of quantum mechanics, for example.Although Jauch's presentation of a propositional calculus of quantum mechanics is mathematically interesting and suggestive, there are a number of problems connected with it.It is our purpose to engage some of these problems and to present a rigorously defined formalism intended to come close to doing the job intended by Jauch for his logic.The success or lack of success of this effort as related to actual application of this formalism in the foundations of quantum theory is, I think, a matter for the physicists to decide; the empirical judgment involved in this application is not in the scope of this paper.If a formalism is to have a reasonable interpretation as a theory of deduction, it seems clear that it must include a relation which, when it holds between two elements of the formalism, may be reasonably interpreted as expressing that one of the elements 'follows from' the other, in •The author wishes to thank Robert Piziak for advice and comments in the course of research for this paper.

Notre Dame Journal of Formal Logic•Oct 1, 1979•20 citations

Non orthomodular models for both standard quantum logic and standard classical logic : repercussions for quantum computers

Mladen Pavičić, Norman D. Megill

Abstract. It is shown that propositional calculuses of both quantum and classical logics are noncategorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and completeness of the calculuses for the models. We also prove that all the operations in an orthomodular lattice are five-fold defined. In the end we discuss possible repercussions of our results to quantum computations and quantum computers.

•Oct 1, 1999•12 citations

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC

Michele Caponigro, Stefano Mancini

We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum computational aspects.

•Jan 1, 2006•0 citations

The non-standad logic of physics: the case of the Boltzmann-Sinai hard-sphere system

Massimo Tessarotto, Claudio Cremaschini, Claudio Asci +3 more

One of the most challenging and fascinating issues in mathematical and theoretical physics concerns identifying the common logic, if any, which underlies the physical world. More precisely, this involves the search of the possibly-unique axiomatic logical proposition calculus to apply simultaneously both to classical and quantum realms of physics and to be consistent with the corresponding mathematical and filosophysical setups. Based on the recent establishment of quantum logic, which has been shown to apply both to Quantum Mechanics and Quantum Gravity, the crucial remaining step involves the identification of the appropriate axiomatic logical proposition calculus to be associated with Classical Mechanics. In this paper the issue is posed for a fundamental example of Classical Mechanics, which is represented by the so-called Boltzmann-Sinai dynamical system. This is realized by the ensemble of classical smooth hard-spheres, which is set at the basis of Classical Statistical Mechanics and is also commonly regarded as a possible realization of Classical Newtonian Cosmology. Depending on the initial conditions which are prescribed for such a system, its classical state is shown to obey the propositional calculus of non-classical logic. In particular, the latter is expressed by the 3-way Principle of Non-Contradiction, namely the same logical principle that holds for quantum logic. The result therefore permits to question on a mathematical basis the principles of deterministic classical logic and the validity of their character within the domain of Classical Physics. Such a conclusion represents a potential notable innovation in the logical dicotomy true/false, a crucial topic which has crossed millennia through philosophy, logic, mathematics and physics.

arXiv:2412.19716•Dec 27, 2024•0 citations
It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥. Furthermore, since the subspaces can be interpreted as quantum mechanical propositions, and since the operations ∩,∪ ,⊥ have some similarity with the logical operations ⋀ (and), ⋁ (or) and ⌝ (not), the question has been raised already by Birkhoff and v. Neumann, whether the lattice of subspaces of Hilbert space can be interpreted as a propositional calculus, sometimes called quantum logic. There are many kinds of lattices which can be interpreted as a propositional or logical calculus. A Boolean lattice LB of propositions corresponds to the calculus of classical logic and an implicative (Birkhoff, 1961) lattice Li has as a model the calculus of effective (intuitionistic) logic.
The non-classical nature of quantum theory has led to a number of efforts to formalize the logic of statements whose universe of discourse is the subatomic (see, for example, [3], [6], [8], and [10]).It might be hoped that ideally the fruit of such efforts would be a formalism not totally divorced from the classical logic, but incorporating or incorporated in it in such a manner as to unify the logic of the micro-and the macro-worlds.Indeed, this has been the general direction taken by these efforts, including that which we principally examine and expand upon here.*Josef Jauch, [6], pp.67-89, developed a "propositional calculus of quantum mechanics".He objected to calling a system like his a "logic of quantum mechanics"; however, our use of 'logic' here is not, I think, the use to which Jauch objected.A logic, for our present purposes, is a mathematical formalism having a reasonable interpretation as a theory of deduction; its actual application as normative of argumentation in reality is a matter of empirical judgment.This seems close to the way Jauch wished to use "propositional calculus" but more general, allowing for extension to a quantification theory of quantum mechanics, for example.Although Jauch's presentation of a propositional calculus of quantum mechanics is mathematically interesting and suggestive, there are a number of problems connected with it.It is our purpose to engage some of these problems and to present a rigorously defined formalism intended to come close to doing the job intended by Jauch for his logic.The success or lack of success of this effort as related to actual application of this formalism in the foundations of quantum theory is, I think, a matter for the physicists to decide; the empirical judgment involved in this application is not in the scope of this paper.If a formalism is to have a reasonable interpretation as a theory of deduction, it seems clear that it must include a relation which, when it holds between two elements of the formalism, may be reasonably interpreted as expressing that one of the elements 'follows from' the other, in •The author wishes to thank Robert Piziak for advice and comments in the course of research for this paper.
Abstract. It is shown that propositional calculuses of both quantum and classical logics are noncategorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and completeness of the calculuses for the models. We also prove that all the operations in an orthomodular lattice are five-fold defined. In the end we discuss possible repercussions of our results to quantum computations and quantum computers.
One of the most challenging and fascinating issues in mathematical and theoretical physics concerns identifying the common logic, if any, which underlies the physical world. More precisely, this involves the search of the possibly-unique axiomatic logical proposition calculus to apply simultaneously both to classical and quantum realms of physics and to be consistent with the corresponding mathematical and filosophysical setups. Based on the recent establishment of quantum logic, which has been shown to apply both to Quantum Mechanics and Quantum Gravity, the crucial remaining step involves the identification of the appropriate axiomatic logical proposition calculus to be associated with Classical Mechanics. In this paper the issue is posed for a fundamental example of Classical Mechanics, which is represented by the so-called Boltzmann-Sinai dynamical system. This is realized by the ensemble of classical smooth hard-spheres, which is set at the basis of Classical Statistical Mechanics and is also commonly regarded as a possible realization of Classical Newtonian Cosmology. Depending on the initial conditions which are prescribed for such a system, its classical state is shown to obey the propositional calculus of non-classical logic. In particular, the latter is expressed by the 3-way Principle of Non-Contradiction, namely the same logical principle that holds for quantum logic. The result therefore permits to question on a mathematical basis the principles of deterministic classical logic and the validity of their character within the domain of Classical Physics. Such a conclusion represents a potential notable innovation in the logical dicotomy true/false, a crucial topic which has crossed millennia through philosophy, logic, mathematics and physics.