Residuated Relational Systems
Logic
2020-04-20 v1
Abstract
The aim of the present paper is to generalize the concept of residuated poset, by replacing the usual partial ordering by a generic binary relation, giving rise to relational systems which are residuated. In particular, we modify the definition of adjointness in such a way that the ordering relation can be harmlessly replaced by a binary relation. By enriching such binary relation with additional properties we get interesting properties of residuated relational systems which are analogical to those of residuated posets and lattices.
Keywords
Cite
@article{arxiv.1810.09335,
title = {Residuated Relational Systems},
author = {Stefano Bonzio and Ivan Chajda},
journal= {arXiv preprint arXiv:1810.09335},
year = {2020}
}
Comments
15 pages, pre-print version of a paper on Asian-European Journal of Mathematics