Residuation algebras with functional duals
Logic
2018-04-24 v1
Abstract
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as (possibly partial) functions. Providing a partial answer to a question of Gehrke, we demonstrate that no universal first-order sentence in the language of residuation algebras is equivalent to the functionality of the associated relational structures.
Cite
@article{arxiv.1804.08449,
title = {Residuation algebras with functional duals},
author = {Wesley Fussner and Alessandra Palmigiano},
journal= {arXiv preprint arXiv:1804.08449},
year = {2018}
}