Daggers, kernels, Baer *-semigroups, and orthomodularity

DOI10.1007/S10992-013-9275-5zbMATH Open1285.81004DBLPjournals/jphil/Harding13aOpenAlexW2146094639WikidataQ61632447 ScholiaQ61632447MaRDI QIDQ358684FDOQ358684

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

Recommendations

• Orthomodular lattices, Foulis semigroups and dagger kernel categories
• On kernels of finite semigroups
• Morphisms, hemimorphisms, and Baer \(^*\)-semigroups
• scientific article; zbMATH DE number 3075815
• The kernel relation for an extension of completely 0-simple semigroups
• Semilattices of groups and nonstable K-theory of extended Cuntz limits
• scientific article; zbMATH DE number 4044098
• Homomorphisms and kernels of semifields
• scientific article; zbMATH DE number 4115325
• \(K\)-theory for semigroup \(C^*\)-algebras and partial crossed products

zbMATH Keywords

Baer *-semigroupscategory with biproductsdagger kernel categoryFoulis semigroupsorthoalgebraorthodular latticeorthomodular partial semigroupsorthomodular poset

Mathematics Subject Classification ID

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

Cites Work

• Dagger compact closed categories and completely positive maps (extended abstract)
• Interacting quantum observables: categorical algebra and diagrammatics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Title not available (Why is that?)
• A link between quantum logic and categorical quantum mechanics
• Title not available (Why is that?)
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Title not available (Why is that?)
• Multiplicative elements in Baer \(*\)-semigroups
• Relative inverses in Baer \({}^*\)-semigroups
• Baer ∗ -Semigroups
• Title not available (Why is that?)
• Orthomodularity of decompositions in a categorical setting
• Conditions for the modularity of an orthomodular lattice
• Partial algebraic structures associated with orthomodular posets
• Quantum logic in dagger kernel categories
• Idempotents in dagger categories (extended abstract)
• Title not available (Why is that?)
• Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decompositions in Quantum Logic
• Semigroups Co-Ordinatizing Orthomodular Geometries
• Coordinatization of Orthocomplemented and Orthomodular Posets
• Title not available (Why is that?)
• \(K\)-theory. An introduction. With a new postface by the author and a list of errata

Cited In (6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q358684)