ablate
发表于 2025-3-28 16:50:57
http://reply.papertrans.cn/25/2414/241303/241303_41.png
支柱
发表于 2025-3-28 19:22:32
http://reply.papertrans.cn/25/2414/241303/241303_42.png
有权威
发表于 2025-3-29 00:40:35
Jakub Sumbal,Zuzana Sumbalova Koledovacan construct from a test space A a “logic” II(A) having the structure of an orthoalgebra. All orthoalge-bras arise via this construction. This paper surveys gives an up-to-date survey of the theory of test spaces and orthoalgebras, including a discussion of recent work of the author on group actions on test spaces.
LIKEN
发表于 2025-3-29 06:14:21
http://reply.papertrans.cn/25/2414/241303/241303_44.png
Magnificent
发表于 2025-3-29 09:18:13
https://doi.org/10.1007/978-1-0716-3674-9 algebras (and thus, of algebraic quantum logic) can be recast as a chapter of the theory of ordered abelian groups. In particular, the study of group actions on interval effect algebras amounts to the study of representations of groups on unigroups.
DALLY
发表于 2025-3-29 15:04:04
http://reply.papertrans.cn/25/2414/241303/241303_46.png
Spangle
发表于 2025-3-29 19:32:32
Representations on Unigroups algebras (and thus, of algebraic quantum logic) can be recast as a chapter of the theory of ordered abelian groups. In particular, the study of group actions on interval effect algebras amounts to the study of representations of groups on unigroups.
ACE-inhibitor
发表于 2025-3-29 23:12:36
http://reply.papertrans.cn/25/2414/241303/241303_48.png
intimate
发表于 2025-3-30 02:36:36
Book 2000rrent Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some disc
Hyperplasia
发表于 2025-3-30 04:11:28
https://doi.org/10.1007/978-1-137-04751-9we had to omit detailed proofs, but instead we have included lots of examples which we hope will be helpful. In any case, the interested reader will find his way to the references, given at the end of the paper.