Residuated relational systems

DOI10.1142/S1793557118500249MaRDI QIDQ4609512zbMATH OpenFDO

Authors Stefano Bonzio, Ivan Chajda

Publication date 3 April 2018

Published in Asian-European Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

binary relationdirectoidrelational systemresiduated system

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Generalizations of lattices (06B75) Relational systems, laws of composition (08A02)

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.

Recommendations

• Weak implicative filters in quasi-ordered residuated systems
• Comparative filters in quasi-ordered residuated system
• Filters in residuated relational system ordered under quasi-order
• Co-quasiordered residuated systems: an introduction
• scientific article; zbMATH DE number 2208113

Cites work

• Directoids: Algebraic models of up-directed sets
• Directoids. An algebraic approach to ordered sets
• Groupoids assigned to relational systems.
• Groupoids corresponding to relational systems
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• On some properties of directoids
• Orthogonal relational systems
• Relational systems with involution
• Relations binaires, fermetures, correspondances de Galois
• Semilattice structures.
• Varieties of commutative residuated integral pomonoids and their residuation subreducts

Cited in

(18)

• Orthogonal relational systems
• Distributivity and residuation for lexicographic orders
• scientific article; zbMATH DE number 4091579 (Why is no real title available?)
• scientific article; zbMATH DE number 35423 (Why is no real title available?)
• scientific article; zbMATH DE number 108357 (Why is no real title available?)
• scientific article; zbMATH DE number 475192 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• Residuated operators in complemented posets
• scientific article; zbMATH DE number 1859180 (Why is no real title available?)
• The Relationlog system prototype
• Filters in residuated relational system ordered under quasi-order
• Implicative filters in quasi-ordered residuated systems
• Weak implicative filters in quasi-ordered residuated systems
• Co-quasiordered residuated systems: an introduction
• Relation equations in residuated lattices
• Comparative filters in quasi-ordered residuated system
• A logical characterization of multi-adjoint algebras
• Sub-implicative filters in quasi-ordered relational systems

This page was built for publication: Residuated relational systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4609512)