Orthogonal relational systems

DOI10.1007/S00500-015-1999-4MaRDI QIDQ2403274zbMATH OpenOpenAlexFDO

Authors Stefano Bonzio, Ivan Chajda, Antonio Ledda

Publication date 8 September 2017

Published in Soft Computing (Search for Journal in Brave)

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

zbMATH Keywords

central elementChurch varietyorthogonal groupoidorthogonal relational systemrelational system

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Sets with a single binary operation (groupoids) (20N02)

Abstract: In this paper we discuss the concept of relational system with involution. This system is called orthogonal if, for every pair of non-zero orthogonal elements, there exists a supremal element in their upper cone and the upper cone of orthogonal elements $x,,x^{\prime }$ is a singleton (i.e. $x,,x^{\prime }$ are complements each other). To every orthogonal relational system can be assigned a groupoid with involution. The conditions under which a groupoid is assigned to an orthogonal relational systems are investigated. We will see that many properties of the relational system can be captured by the associated groupoid. Moreover, these structures enjoy several desirable algebraic features such as, e.g., a direct decomposition representation and the strong amalgamation property.

Recommendations

• Quasi-antiorder relational system
• Orthogonal relations for reasoning about posets
• scientific article; zbMATH DE number 2120047
• Residuated relational systems
• Relational systems with involution
• scientific article; zbMATH DE number 1844511
• scientific article; zbMATH DE number 3946472
• scientific article; zbMATH DE number 3106787

Cites work

• Amalgamation and interpolation in ordered algebras.

Cited in

(2)

• Relational systems with involution
• Residuated relational systems

This page was built for publication: Orthogonal relational systems

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