Daggers, kernels, Baer *-semigroups, and orthomodularity

DOI10.1007/s10992-013-9275-5zbMath1285.81004OpenAlexW2146094639WikidataQ61632447 ScholiaQ61632447MaRDI QIDQ358684

John Harding

Publication date: 9 August 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9275-5

zbMATH Keywords

orthomodular posetorthoalgebraBaer *-semigroupscategory with biproductsdagger kernel categoryFoulis semigroupsorthodular latticeorthomodular partial semigroups

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Preadditive, additive categories (18E05)

Related Items (5)

How to generalise demonic composition ⋮ Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories ⋮ Compositional Quantum Logic ⋮ Automorphisms of decompositions ⋮ \(^\ast\)-Annihilators in proper \(^\ast\)-semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A link between quantum logic and categorical quantum mechanics
• \(K\)-theory. An introduction. With a new postface by the author and a list of errata
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Orthomodularity of decompositions in a categorical setting
• Multiplicative elements in Baer \(*\)-semigroups
• Conditions for the modularity of an orthomodular lattice
• Partial algebraic structures associated with orthomodular posets
• Relative inverses in Baer \({}^*\)-semigroups
• Quantum Logic in Dagger Kernel Categories
• Dagger Compact Closed Categories and Completely Positive Maps
• Idempotents in Dagger Categories
• Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
• Decompositions in Quantum Logic
• Interacting quantum observables: categorical algebra and diagrammatics
• Semigroups Co-Ordinatizing Orthomodular Geometries
• Coordinatization of Orthocomplemented and Orthomodular Posets
• Baer ∗ -Semigroups

This page was built for publication: Daggers, kernels, Baer *-semigroups, and orthomodularity