arXiv:1810.09335 [math.LO]AbstractReferencesReviewsResources
Residuated Relational Systems
Published 2018-10-22Version 1
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.
Comments: 15 pages, pre-print version of a paper on Asian-European Journal of Mathematics
Categories: math.LO
Related articles:
arXiv:1810.02405 [math.LO] (Published 2018-10-04)
Residuation in non-associative MV-algebras
arXiv:2003.08146 [math.LO] (Published 2020-03-18)
A microscopic approach to Souslin-tree construction, Part II
arXiv:2312.04162 [math.LO] (Published 2023-12-07)
Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order