\( \ell r\)-multisemigroups, modal quantales and the origin of locality

DOI10.1007/978-3-030-88701-8_6OpenAlexW3209012617MaRDI QIDQ2695347

Uli Fahrenberg, Georg Struth, Cameron Calk, Christian Johansen, Krzysztof Ziemiański

Publication date: 30 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_6

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrent Kleene algebra and its foundations
• Internal axioms for domain semirings
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• Matricial theories
• On multisemigroups.
• Function systems
• Varieties of complex algebras
• A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
• Polygraphs of finite derivation type
• Domain and Antidomain Semigroups
• A propositional modal logic of time intervals
• Generating Posets Beyond N
• Kleene algebra with domain
• Δ-SETS I: HOMOTOPY THEORY
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: \( \ell r\)-multisemigroups, modal quantales and the origin of locality