Complete representation by partial functions for composition, intersection and anti-domain

DOI10.1093/logcom/exu081zbMath1444.03178arXiv1407.1243OpenAlexW2326719916MaRDI QIDQ3133160

Brett McLean

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations

This page was built for publication: Complete representation by partial functions for composition, intersection and anti-domain