Countable Jauch-Piron logics
The author shows that every orthomodular lattice with a finite- dimensional space of bounded finitely additive signed measures has a countable model (i.e., a countable subortholattice such that every finitely additive state on it can be uniquely extended to a finitely additive state on the given ortholattice). As a consequence (using the Gleason theorem) he gives examples of countable unital Jauch-Piron orthomodular lattices that are not Boolean (models of lattices of all subspaces of \(R^ n\), \(n>3\)). This remarkable result completes the result of \textit{V. Rogalewicz} [Int. J. Theor. Phys. 30, No. 4, 437-445 (1991; Zbl 0728.03034)], who proved that the number of blocks of a unital Jauch-Piron orthomodular poset is finite if and only if it equals 1. In the appendix an older result concerning the characterization of orthomodular posets by means of two-element and three-element partitions of unity is presented.
- scientific article; zbMATH DE number 3128586 (Why is no real title available?)
- scientific article; zbMATH DE number 3521027 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 3266514 (Why is no real title available?)
- Jauch-Piron logics with finiteness conditions
- Jauch–Piron states
- Orthomodular structures as quantum logics. Transl. from the Slovak
- QUANTUM LOGICS WITH JAUCH–PIRON STATES
- States on orthoalgebras
- Subadditivity of states on quantum logics
- Studies on noncommutative measure theory in Kazan university (1968--2018)
- Countably many weakenings of Belnap-Dunn logic
- scientific article; zbMATH DE number 4041901 (Why is no real title available?)
- Weakly Purely Finitely Additive Measures
- scientific article; zbMATH DE number 704224 (Why is no real title available?)
- A logical characterization of the counting hierarchy
- A note on Jauch-Piron states
- Jauch-Piron logics with finiteness conditions
This page was built for publication: Countable Jauch-Piron logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1308995)