Basic decomposition of elements and Jauch-Piron effect algebras

DOI10.1016/j.fss.2005.05.017zbMath1073.81014MaRDI QIDQ2565805

Zdenka Riečanová

Publication date: 28 September 2005

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2005.05.017

zbMATH Keywords

Non-classical logics; Basic decomposition of an element; Effect algebra; Sharp element; Smearing of a state; Unital Jauch-Piron effect algebra

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03E72: Theory of fuzzy sets, etc.

06C15: Complemented lattices, orthocomplemented lattices and posets

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

03G12: Quantum logic

Related Items

Torsion elements in effect algebras, The inheritance of BDE-property in sharply dominating lattice effect algebras and \((o)\)-continuous states, How to produce S-tense operators on lattice effect algebras, Sharply dominating MV-effect algebras, Order topology and Frink ideal topology of effect algebras, States on sharply dominating effect algebras, Pseudocomplemented lattice effect algebras and existence of states, Galois connections and tense operators on q-effect algebras, Blocks in pairwise summable generalized effect algebras, Characterization of homogeneity in orthocomplete atomic effect algebras, Unnamed Item, Unnamed Item

Cites Work

• Effect algebras and unsharp quantum logics.
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Lattice effect algebras with (o)-continuous faithful valuations
• Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
• Smearings of states defined on sharp elements onto effect algebras
• Continuous lattice effect algebras admitting order-continuous states
• Orthomodular lattices admitting no states
• QUANTUM LOGICS WITH JAUCH–PIRON STATES
• Proper effect algebras admitting no states
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item