Sasaki projections
From MaRDI portal
Publication:2359732
DOI10.1007/s00012-017-0428-1zbMath1412.06010OpenAlexW3192763230MaRDI QIDQ2359732
Stephen M. III Gagola, Jeannine J. M. Gabriëls, Mirko Navara
Publication date: 22 June 2017
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-017-0428-1
Specification and verification (program logics, model checking, etc.) (68Q60) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Free lattices, projective lattices, word problems (06B25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Compositions of Sasaki projections
- Decidability in orthomodular lattices
- Projections in a synaptic algebra
- The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
- Quantum physics, fuzzy sets and logic. Steps towards a many-valued interpretation of quantum mechanics
- Weaker forms of associativity in orthomodular lattices.
- Computer proof of monotonicity of operations on orthomodular lattices
- Relative inverses in Baer \({}^*\)-semigroups
- The logic of quantum mechanics
- SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
- On Generating Distributive Sublattices of Orthomodular Lattices
- An Addendum to "On Generating Distributive Sublattices of Orthomodular Lattices"
- Associativity of operations on orthomodular lattices
- Sasaki projections on orthocomplemented posets
- A Transposition Principle in Orthomodular Lattices
- Baer ∗ -Semigroups
- A Radon-Nikodym Theorem in Dimension Lattices
- Orthomodular lattices and a quantum algebra.