Domain and range for angelic and demonic compositions

DOI10.1016/J.JLAMP.2018.11.002zbMATH Open1417.68033arXiv1811.01712OpenAlexW2898689837WikidataQ128931051 ScholiaQ128931051MaRDI QIDQ1734512FDOQ1734512

Authors: Marcel Jackson, Szabolcs Mikulás 

Publication date: 27 March 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Abstract: We give finite axiomatizations for the varieties generated by representable domain--range algebras when the semigroup operation is interpreted as angelic or demonic composition, respectively.

Full work available at URL: https://arxiv.org/abs/1811.01712

zbMATH Keywords

finite axiomatizabilitydemonic compositionangelic compositiondomain-range algebras

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Applications of universal algebra in computer science (08A70) General structure theory for semigroups (20M10)

Cites Work

• Title not available (Why is that?)
• Demonic operators and monotype factors
• Axiomatizability of representable domain algebras
• Semigroups and ordered categories. I: The reduced case
• The equational theory of union-free algebras of relations
• On representing semigroups with subsemilattices.
• Restriction categories. I: Categories of partial maps
• A completeness theorem for Kleene algebras and the algebra of regular events
• Guarded commands, nondeterminacy and formal derivation of programs
• Kleene algebra with domain
• Abundant Semigroups
• Adequate Semigroups
• Free adequate semigroups.
• Algebras of modal operators and partial correctness
• From right PP monoids to restriction semigroups: a survey.
• Guarded and banded semigroups.
• Title not available (Why is that?)
• An invitation to \(C\)-semigroups
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Domain and antidomain semigroups
• Title not available (Why is that?)
• Representations of distributive lattice-ordered semigroups with binary relations
• The algebra of functions. III
• Function systems
• Partial Maps with Domain and Range: Extending Schein's Representation
• The algebra of functions
• The algebra of functions. II
• Logical analysis of demonic nondeterministic programs
• Title not available (Why is that?)
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• Title not available (Why is that?)
• Undecidability of representability as binary relations
• Range categories. I: General theory
• Range categories II: Towards regularity
• Modal restriction semigroups: towards an algebra of functions.
• Boolean and classical restriction categories
• γ-demi-groupes, demi-modules, produits demi-directs
• Title not available (Why is that?)
• The algebra of functions with antidomain and range

Cited In (2)

• Axioms for signatures with domain and demonic composition
• Domain range semigroups and finite representations

This page was built for publication: Domain and range for angelic and demonic compositions

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