The algebra of functions with antidomain and range
From MaRDI portal
Publication:908324
DOI10.1016/j.jpaa.2015.11.003zbMath1377.08001arXiv1410.3981OpenAlexW2963175118MaRDI QIDQ908324
Marcel Jackson, Szabolcs Mikulás, Robin Hirschl
Publication date: 4 February 2016
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.3981
Equational logic, Mal'tsev conditions (08B05) Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02)
Related Items (8)
Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ Algebras of multiplace functions for signatures containing antidomain ⋮ Override and update ⋮ Unnamed Item ⋮ Domain and range for angelic and demonic compositions ⋮ Unnamed Item ⋮ A categorical duality for algebras of partial functions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On representing semigroups with subsemilattices.
- Relation algebras by games
- The algebra of functions
- The algebra of functions. II
- Relation algebras
- The axiomatization of override and update
- A Munn type representation for a class of \(E\)-semiadequate semigroups
- An equational axiomatization of dynamic negation and relational composition
- Agreeable semigroups.
- The algebra of functions. III
- Guarded and banded semigroups.
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
- On representable relation algebras
- Function systems
- Relation algebras and function semigroups
- Representability is not decidable for finite relation algebras
- The word problem for free adequate semigroups
- Well-structured program equivalence is highly undecidable
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
- Partial Maps with Domain and Range: Extending Schein's Representation
- IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
- Boolean and classical restriction categories
- Domain and Antidomain Semigroups
- γ-demi-groupes, demi-modules, produits demi-directs
- Lectures on semigroups of transformations
- FUNCTIONAL MENGER -ALGEBRAS
- Undecidability of representability as binary relations
- Kleene algebra with domain
- FREE ADEQUATE SEMIGROUPS
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
- An invitation to \(C\)-semigroups
- Restriction categories. I: Categories of partial maps
This page was built for publication: The algebra of functions with antidomain and range