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

International Journal of Theoretical Physics

Propositions and orthocomplementation in quantum logic

Claudio Garola

Published May 1, 1980• 18 citations
Publisher
DOI
10.1007/bf00671989

Related papers

Connections among quantum logics. Part 1. Quantum propositional logics

Patricia F. Lock, Gary M. Hardegree

International Journal of Theoretical Physics•Jan 1, 1985•43 citations

Quantum logic axioms and the proposition-state structure

Franco Gallone, Antonio Zecca A

International Journal of Theoretical Physics•Jan 1, 1973•4 citations

A Proposition in Quantum Logic

Zhuang Yun-biao

Journal of Taizhou University•Jan 1, 2005•0 citations

Time dependent propositions and quantum logic

Peter Mittelstaedt

Journal of Philosophical Logic•Jan 1, 1977•15 citations

On the lattice structure of quantum logic

Peter D. Finch

A weak logical structure is defined as a set of boolean propositional logics in which one can define common operations of negation and implication. The set union of the boolean components of a weak logical structure is a logic of propositions which is an orthocomplemented poset, where orthocomplementation is interpreted as negation and the partial order as implication. It is shown that if one can define on this logic an operation of logical conjunction which has certain plausible properties, then the logic has the structure of an orthomodular lattice. Conversely, if the logic is an orthomodular lattice then the conjunction operation may be defined on it.

Bulletin of the Australian Mathematical Society•Dec 1, 1969•14 citations

On the logic of quantum logic

C. Piron

Journal of Philosophical Logic•Jan 1, 1977•24 citations
A weak logical structure is defined as a set of boolean propositional logics in which one can define common operations of negation and implication. The set union of the boolean components of a weak logical structure is a logic of propositions which is an orthocomplemented poset, where orthocomplementation is interpreted as negation and the partial order as implication. It is shown that if one can define on this logic an operation of logical conjunction which has certain plausible properties, then the logic has the structure of an orthomodular lattice. Conversely, if the logic is an orthomodular lattice then the conjunction operation may be defined on it.