Partial algebra
In abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.
There is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain (1982).
...
Wikipedia
In abstract algebra, a partial algebra is a generalization of universal algebra to partial operations.
There is a "Meta Birkhoff Theorem" by Andreka, Nemeti and Sain (1982).