Domain and range for angelic and demonic compositions

DOI10.1016/J.JLAMP.2018.11.002MaRDI QIDQ1734512zbMATH OpenOpenAlexWikidataFDO

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)

Full work available at URL https://arxiv.org/abs/1811.01712, https://eprints.bbk.ac.uk/id/eprint/24890/1/JM-JLAMP-final.pdf

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)

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.

Cites work

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

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)