2000 character limit reached
Domain and range for angelic and demonic compositions (1811.01712v1)
Published 30 Oct 2018 in cs.LO and math.LO
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.