4 citations · 13 across the 28 of their papers we have counts for
4 papers · 2 filters
Compositions and decompositions of binary relations
Ivan Chajda, Helmut Länger
It is well-known that to every binary relation on a non-void set I there can be assigned its incidence matrix, also in the case when I is infinite. We show that a certain kind of "…
Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets
Ivan Chajda, Helmut Länger
In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to e…
Sheffer operation in relational systems
Ivan Chajda, Helmut Länger
The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to e…
Adjoint operations in twist-products of lattices
Ivan Chajda, Helmut Länger
Given an integral commutative residuated lattice L=(L,\vee,\wedge), its full twist-product (L^2,\sqcup,\sqcap) can be endowed with two binary operations \odot and \Rightarrow intro…