ON THE UNIVERSALITY OF THE TRIANGLE SUPERPRODUCT AND THE SQUARE PRODUCT OF RELATIONS

Autor:	Ladislav J. Kohout, Wyllis Bandler
Rok vydání:	1997
Předmět:	Combinatorics Discrete mathematics Control and Systems Engineering If and only if Modeling and Simulation Preorder Equivalence (formal languages) Mathematical proof Computer Science Applications Information Systems Theoretical Computer Science Universality (dynamical systems) Mathematics
Zdroj:	International Journal of General Systems. 25:399-403
ISSN:	1563-5104 0308-1079
DOI:	10.1080/03081079708945165
Popis:	The paper, together with other theorems, presents the proofs of the following statements. (1) Every preorder is a supenriangle self-inverse product. (2) R□R-1 if and only if R is an equivalence. The supenriangle and the square product (□)appearing in the theorems are special relational compositions that were introduced by Bandler and Kohoul in 1977 and described previously in this journal.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::74db3f1b9dea6265c95c4576e61fe490 https://doi.org/10.1080/03081079708945165 Zobrazit plný text záznamu