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

Lecture notes in computer science

A modal propositional calculus for quantum facts and dynamical theories

Harald Atmanspacher A, F.R. Krueger, H. Scheingraber

Published Jan 1, 1991• 3 citations
Publisher
DOI
10.1007/3-540-55027-5_17

Related papers

Quantum theory as a theory in a classical propositional calculus

Othman Qasim Malhas

International Journal of Theoretical Physics•Sep 1, 1992•3 citations

The Structure of the Propositional Calculus of a Physical Theory

Franz W. Kamber

Springer eBooks•Jan 1, 1975•3 citations

On Quantum Propositional Dynamic Logic

Sonja Smets

Finds and Results from the Swedish Cyprus Expedition: A Gender Perspective at the Medelhavsmuseet•Jan 1, 2004•2 citations

Classical Logic in the Quantum Context

Andréa Oldofredi

It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model the propositions of every quantum theory is challenged. In the present essay, we critically discuss this claim by showing that classical logic can be rehabilitated in a quantum context by taking into account Bohmian mechanics. It will be argued, indeed, that such a theoretical framework provides the necessary conceptual tools to reintroduce a classical logic of experimental propositions by virtue of its clear metaphysical picture and its theory of measurement. More precisely, it will be shown that the rehabilitation of a classical propositional calculus is a consequence of the primitive ontology of the theory, a fact that is not yet sufficiently recognized in the literature concerning Bohmian mechanics. This work aims to fill this gap.

arXiv:2012.02040•Quantum Reports•Dec 5, 2020•5 citations

Four Equivalent Relations between MCP and CP and Its Implication in Quantum and Information Theory

Wan Xiao-long

(Norraw) modal propositional logic (MCP) tries to be a strict model for quantum and information theory, but it has serious difficulties in syntax, semantics, and metaphysics. According to the guiding definition of minimal hidden variables, this study presents four equivalences between MCP and classical propositional logic (CP). It concludes that MCP is CP containing minimal syntactic hidden variables, modal axiom represents the classification of CP formulas, and possible world is CP formula as assignment background, which establishes a simpler and unified basis for quantum information theory. The black modal of classical propositional logic (BCP), as an assisted discovery method, reveals that modal nature is actually to express the interdependence between things and their environment in a mathematical way, which can express the holism, dialectics, and uncertainty of metaphysics, and use mark hiding (e.g., f (x) is a function of x, f () is the functional expression, functional-e for short, and “□” is, in fact, a cluster of functional-es in which superscript and subscript are hidden) that does not affect the effectiveness of reasoning to express a more simplified, efficient, and consistent artificial intelligence.

Quantum Engineering•May 25, 2022•2 citations

The modal logic of quantum logic

Peter Mittelstaedt

Journal of Philosophical Logic•Jan 1, 1979•20 citations
It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model the propositions of every quantum theory is challenged. In the present essay, we critically discuss this claim by showing that classical logic can be rehabilitated in a quantum context by taking into account Bohmian mechanics. It will be argued, indeed, that such a theoretical framework provides the necessary conceptual tools to reintroduce a classical logic of experimental propositions by virtue of its clear metaphysical picture and its theory of measurement. More precisely, it will be shown that the rehabilitation of a classical propositional calculus is a consequence of the primitive ontology of the theory, a fact that is not yet sufficiently recognized in the literature concerning Bohmian mechanics. This work aims to fill this gap.
(Norraw) modal propositional logic (MCP) tries to be a strict model for quantum and information theory, but it has serious difficulties in syntax, semantics, and metaphysics. According to the guiding definition of minimal hidden variables, this study presents four equivalences between MCP and classical propositional logic (CP). It concludes that MCP is CP containing minimal syntactic hidden variables, modal axiom represents the classification of CP formulas, and possible world is CP formula as assignment background, which establishes a simpler and unified basis for quantum information theory. The black modal of classical propositional logic (BCP), as an assisted discovery method, reveals that modal nature is actually to express the interdependence between things and their environment in a mathematical way, which can express the holism, dialectics, and uncertainty of metaphysics, and use mark hiding (e.g., f (x) is a function of x, f () is the functional expression, functional-e for short, and “□” is, in fact, a cluster of functional-es in which superscript and subscript are hidden) that does not affect the effectiveness of reasoning to express a more simplified, efficient, and consistent artificial intelligence.