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

Cambridge University Press eBooks

Proposition-State Structure and Idealized Measurements

Enrico G. Beltrametti, Gianni Cassinelli, Peter Carruthers

Published Dec 28, 1984• 0 citations
Publisher
DOI
10.1017/cbo9781107340725.022

Related papers

Ideal, first-kind measurements in a proposition-state structure

Gianni Cassinelli, Enrico G. Beltrametti

Communications in Mathematical Physics•Feb 1, 1975•21 citations

A proposition-state structure

Vittorio Berzi, Antonio Zecca A

Communications in Mathematical Physics•Jun 1, 1974•9 citations

Product of proposition-state structures preserving superposition

Antonio Zecca A

International Journal of Theoretical Physics•May 1, 1994•6 citations

Quantum Collapse and Computation in an Everett Multiverse

Fabrizio Tamburini, Ignazio Francesco Licata

The mathematical representation of the universe consists of sequences of symbols, rules and operators containing Gödel's undecidable propositions: information and its manipulation, also with Turing Machines. Classical information theory and mathematics, ideally independent from the medium used, can be interpreted realistically and objectively from their correspondence with quantum information, which is physical. Each representation of the universe and its evolution are, in any case, physical subsets of the universe, structured sets of observers and their complements in the universe made with spacetime events generated by local quantum measurements. Their description becomes a semantically closed structure without a global object-environment loss of decoherence as a von Neumann's universal constructor with a semantical abstract whose structure cannot be decided deterministically a priori from an internal observer. In a semantically closed structure, the realization of a specific event that writes the semantical abstract of the constructor is a problem of finding "which way" for the evolution of the universe as a choice of the constructor's state in a metastructure, like the many-world Everett scenario, from a specific result of any quantum measurement, corresponding to a Gödel undecidable proposition for an internal observer.

arXiv:2401.13336•Entropy•Dec 9, 2024•1 citation

From Boolean algebras to effect algebras: Sharp and unsharp logic in classical and quantum systems

Atul Kumar Singh, Akhilesh Kumar Singh

This paper examines how logical structures represent sharp and unsharp propositions in classical and quantum systems. Classical sharp logic is modeled by Boolean algebras, where propositions have bivalent truth values, complements are globally defined, and distributivity holds. Quantum sharp logic is modeled by orthomodular lattices of closed Hilbert-space subspaces or projection operators; it retains definite yes–no outcomes for ideal measurements but rejects the Boolean assumptions of global truth valuation and distributivity. Classical unsharp logic uses fuzzy membership or probabilistic truth values to describe vagueness and incomplete information, whereas quantum unsharp logic is expressed through effects and effect algebras, which capture noisy, inefficient, and generalized measurements. The paper’s central question is which algebraic structure is appropriate for each combination of classical or quantum behavior and sharp or unsharp measurement. The analysis shows that the four cases form a coherent hierarchy: Boolean algebras describe deterministic classical events, orthomodular lattices describe ideal quantum propositions, fuzzy or probabilistic models describe classical partial truth, and effect algebras describe realistic quantum effects. This classification clarifies the mathematical and physical role of unsharpness and explains why effect algebras are needed beyond projection-based quantum logic.

Engineering and Applied Science Letters•Aug 12, 2026•0 citations

Propositional systems and measurements—II

K. -E. Hellwig, D. Krausser

International Journal of Theoretical Physics•Aug 1, 1974•5 citations
The mathematical representation of the universe consists of sequences of symbols, rules and operators containing Gödel's undecidable propositions: information and its manipulation, also with Turing Machines. Classical information theory and mathematics, ideally independent from the medium used, can be interpreted realistically and objectively from their correspondence with quantum information, which is physical. Each representation of the universe and its evolution are, in any case, physical subsets of the universe, structured sets of observers and their complements in the universe made with spacetime events generated by local quantum measurements. Their description becomes a semantically closed structure without a global object-environment loss of decoherence as a von Neumann's universal constructor with a semantical abstract whose structure cannot be decided deterministically a priori from an internal observer. In a semantically closed structure, the realization of a specific event that writes the semantical abstract of the constructor is a problem of finding "which way" for the evolution of the universe as a choice of the constructor's state in a metastructure, like the many-world Everett scenario, from a specific result of any quantum measurement, corresponding to a Gödel undecidable proposition for an internal observer.
This paper examines how logical structures represent sharp and unsharp propositions in classical and quantum systems. Classical sharp logic is modeled by Boolean algebras, where propositions have bivalent truth values, complements are globally defined, and distributivity holds. Quantum sharp logic is modeled by orthomodular lattices of closed Hilbert-space subspaces or projection operators; it retains definite yes–no outcomes for ideal measurements but rejects the Boolean assumptions of global truth valuation and distributivity. Classical unsharp logic uses fuzzy membership or probabilistic truth values to describe vagueness and incomplete information, whereas quantum unsharp logic is expressed through effects and effect algebras, which capture noisy, inefficient, and generalized measurements. The paper’s central question is which algebraic structure is appropriate for each combination of classical or quantum behavior and sharp or unsharp measurement. The analysis shows that the four cases form a coherent hierarchy: Boolean algebras describe deterministic classical events, orthomodular lattices describe ideal quantum propositions, fuzzy or probabilistic models describe classical partial truth, and effect algebras describe realistic quantum effects. This classification clarifies the mathematical and physical role of unsharpness and explains why effect algebras are needed beyond projection-based quantum logic.