Domain and range for angelic and demonic compositions

10/30/2018
by   Marcel Jackson, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/28/2021

BERTian Poetics: Constrained Composition with Masked LMs

Masked language models have recently been interpreted as energy-based se...
research
06/04/2021

Domain Range Semigroups and Finite Representations

Relational semigroups with domain and range are a useful tool for modell...
research
10/06/2021

Parallel Composition of Weighted Finite-State Transducers

Finite-state transducers (FSTs) are frequently used in speech recognitio...
research
07/14/2021

Composition of choreography automata

Choreography automata are an automata-based model of choreographies, tha...
research
05/08/2023

Preservation theorems for Tarski's relation algebra

We investigate a number of semantically defined fragments of Tarski's al...
research
11/13/2018

Finite degree clones are undecidable

A clone of functions on a finite domain determines and is determined by ...
research
09/26/2017

Learning a Predictive Model for Music Using PULSE

Predictive models for music are studied by researchers of algorithmic co...

Please sign up or login with your details

Forgot password? Click here to reset