Domain and range for angelic and demonic compositions

Jackson, Marcel; Mikulás, Szabolcs

doi:10.1016/j.jlamp.2018.11.002

Domain and range for angelic and demonic compositions

journal contribution

posted on 2025-05-06, 05:01 authored by Marcel JacksonMarcel Jackson, Szabolcs Mikulás

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.

Funding

The first author was supported by ARC Future Fellowship FT120100666 and Discovery Project DP1094578.

History

Publication Date

2019-02-01

Journal

Journal of Logical and Algebraic Methods in Programming

Volume

103

Pagination

17p. (p. 62-78)

Publisher

Elsevier

ISSN

2352-2208

Rights Statement

Publisher DOI

https://doi.org/10.1016/j.jlamp.2018.11.002

Usage metrics

Keywords

Domain-range algebras Finite axiomatizability Angelic composition Demonic composition

Licence

In Copyright

Domain and range for angelic and demonic compositions

Funding

The first author was supported by ARC Future Fellowship FT120100666 and Discovery Project DP1094578.

History

Publication Date

Journal

Volume

Pagination

Publisher

ISSN

Rights Statement

Publisher DOI

Usage metrics

Categories

Keywords

Licence

Exports