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

Zeitschrift für Naturforschung A

Measures on Operational Logics

Slawomir Bugajski

Published Jun 1, 1979• 4 citations
Publisher

Abstract

Abstract It is demonstrated, that any measure on effects is generated by a state, whereas a similar statement for operations is not true.
DOI
10.1515/zna-1979-0620

Related papers

On states on the product of logics

V. Maňasová, Pavel Pták

International Journal of Theoretical Physics•Jun 1, 1981•13 citations

Operator Algebras and Axioms of Measurements

Etang Chen

The axioms of measurements introduced by Ludwig are formulated and studied in the framework of operator algebras. It is shown that a concrete C*-algebra with identity satisfies the axiom of sensitivity increase of effects if and only if it is a von Neumann algebra; although a von Neumann algebra satisfies the axiom of decompossability of ensembles, however, the axiom of components of the mixtures of two ensembles is true only if a von Neumann algebra is a factor of type In (n < + ∞). It is also verified that the set of decision effects, which is proved to be a subset of projections of a von Neumann algebra, has similar lattice structure of quantum mechanics, and its connection with quantum logic in the sense of Varadarjan is also figured out.

Journal of Mathematical Physics•Nov 1, 1971•5 citations

A theorem about states on quantum logics. II

M. S. Matveichuk

Theoretical and Mathematical Physics•Aug 1, 1981•1 citation

A Theory of Inaccessible Information

Jacopo Surace

What would be the consequences if there were fundamental limits to our ability to experimentally explore the world? In this work we seriously consider this question. We assume the existence of statements whose truth value is not experimentally accessible. That is, there is no way, not even in theory, to directly test if these statements are true or false. We further develop a theory in which experimentally accessible statements are a union of a fixed minimum number of inaccessible statements. For example, the value of truth of the statements "a" and "b" is not accessible, but the value of truth of the statement "a or b" is accessible. We do not directly assume probability theory, we exclusively define experimentally accessible and inaccessible statements and build on these notions using the rules of classical logic. We find that an interesting structure emerges. Developing this theory, we relax the logical structure to a probabilistic one, obtaining a theory rich in structure that we call "theory of inaccessible information". Surprisingly, the simplest model of theory of inaccessible information is the qubit in quantum mechanics. Along the path for the construction of this theory, we characterise and study a family of multiplicative information measures that we call "inaccessibility measures".

arXiv:2305.05734•Quantum•Sep 9, 2024•2 citations

A theorem about states on quantum logics

M. S. Matveichuk

Theoretical and Mathematical Physics•Nov 1, 1980•2 citations

Philosophy and Physics in the Discussions between Bohr and Einstein

Р. А. Аронов, B. Ia. Pakhomov

"To one sort of truth applies such simple and clear statements as: opposite assertions are not both true. Another sort, the so-called ‘profound truths,’ include, on the contrary, such statements as: contradictory assertions also contain a profound truth…. By virtue of especially fruitful cooperation of a whole generation of physicists, we are approaching the goal at which the logical order permits us to a great extent to avoid profound truths."

Soviet Review•Apr 1, 1987•2 citations
The axioms of measurements introduced by Ludwig are formulated and studied in the framework of operator algebras. It is shown that a concrete C*-algebra with identity satisfies the axiom of sensitivity increase of effects if and only if it is a von Neumann algebra; although a von Neumann algebra satisfies the axiom of decompossability of ensembles, however, the axiom of components of the mixtures of two ensembles is true only if a von Neumann algebra is a factor of type In (n < + ∞). It is also verified that the set of decision effects, which is proved to be a subset of projections of a von Neumann algebra, has similar lattice structure of quantum mechanics, and its connection with quantum logic in the sense of Varadarjan is also figured out.
What would be the consequences if there were fundamental limits to our ability to experimentally explore the world? In this work we seriously consider this question. We assume the existence of statements whose truth value is not experimentally accessible. That is, there is no way, not even in theory, to directly test if these statements are true or false. We further develop a theory in which experimentally accessible statements are a union of a fixed minimum number of inaccessible statements. For example, the value of truth of the statements "a" and "b" is not accessible, but the value of truth of the statement "a or b" is accessible. We do not directly assume probability theory, we exclusively define experimentally accessible and inaccessible statements and build on these notions using the rules of classical logic. We find that an interesting structure emerges. Developing this theory, we relax the logical structure to a probabilistic one, obtaining a theory rich in structure that we call "theory of inaccessible information". Surprisingly, the simplest model of theory of inaccessible information is the qubit in quantum mechanics. Along the path for the construction of this theory, we characterise and study a family of multiplicative information measures that we call "inaccessibility measures".