Algebras of multiplace functions for signatures containing antidomain
- Author
- Brett McLean (UGent)
- Organization
- Abstract
- We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or quasiequational axiomatisations for the representation class. We do the same for the question of representability by injective multiplace partial functions. For all our representation theorems, it is an immediate corollary of our proof that the finite representation property holds for the representation class. We show that for a large set of signatures, the representation classes have equational theories that are coNP-complete.
- Keywords
- partial function, multiplace function, antidomain, representation, first-order axiomatisation, equational theory, P-ALGEBRAS, SEMIGROUPS
Downloads
-
brett mclean final personal.pdf
- full text (Accepted manuscript)
- |
- open access
- |
- |
- 507.70 KB
-
(...).pdf
- full text (Published version)
- |
- UGent only
- |
- |
- 1.04 MB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-01GK70YPXN5HFF91KSBTYC8Q26
- MLA
- McLean, Brett. “Algebras of Multiplace Functions for Signatures Containing Antidomain.” ALGEBRA UNIVERSALIS, vol. 78, no. 2, 2017, pp. 215–48, doi:10.1007/s00012-017-0452-1.
- APA
- McLean, B. (2017). Algebras of multiplace functions for signatures containing antidomain. ALGEBRA UNIVERSALIS, 78(2), 215–248. https://doi.org/10.1007/s00012-017-0452-1
- Chicago author-date
- McLean, Brett. 2017. “Algebras of Multiplace Functions for Signatures Containing Antidomain.” ALGEBRA UNIVERSALIS 78 (2): 215–48. https://doi.org/10.1007/s00012-017-0452-1.
- Chicago author-date (all authors)
- McLean, Brett. 2017. “Algebras of Multiplace Functions for Signatures Containing Antidomain.” ALGEBRA UNIVERSALIS 78 (2): 215–248. doi:10.1007/s00012-017-0452-1.
- Vancouver
- 1.McLean B. Algebras of multiplace functions for signatures containing antidomain. ALGEBRA UNIVERSALIS. 2017;78(2):215–48.
- IEEE
- [1]B. McLean, “Algebras of multiplace functions for signatures containing antidomain,” ALGEBRA UNIVERSALIS, vol. 78, no. 2, pp. 215–248, 2017.
@article{01GK70YPXN5HFF91KSBTYC8Q26,
abstract = {{We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or quasiequational axiomatisations for the representation class. We do the same for the question of representability by injective multiplace partial functions. For all our representation theorems, it is an immediate corollary of our proof that the finite representation property holds for the representation class. We show that for a large set of signatures, the representation classes have equational theories that are coNP-complete.}},
author = {{McLean, Brett}},
issn = {{0002-5240}},
journal = {{ALGEBRA UNIVERSALIS}},
keywords = {{partial function,multiplace function,antidomain,representation,first-order axiomatisation,equational theory,P-ALGEBRAS,SEMIGROUPS}},
language = {{eng}},
number = {{2}},
pages = {{215--248}},
title = {{Algebras of multiplace functions for signatures containing antidomain}},
url = {{http://doi.org/10.1007/s00012-017-0452-1}},
volume = {{78}},
year = {{2017}},
}
- Altmetric
- View in Altmetric
- Web of Science
- Times cited: