Disjoint-union partial algebras

DOI10.23638/LMCS-13(2:10)2017zbMath1448.08001arXiv1612.00252MaRDI QIDQ5278076

Brett McLean, Robin Hirschl

Publication date: 13 July 2017

Full work available at URL: https://arxiv.org/abs/1612.00252

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02) Partial algebras (08A55)

Related Items (4)

Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ Recursive axiomatizations for representable posets ⋮ RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES

Uses Software

• Smallfoot

This page was built for publication: Disjoint-union partial algebras