Displaying 61 – 80 of 137

Showing per page

Mixed pseudo-associativities of Bandler-Kohout compositions of relations

Jolanta Sobera (2007)

Kybernetika

This paper considers compositions of relations based on the notion of the afterset and the foreset, i. e., the subproduct, the superproduct and the square product introduced by Bandler and Kohout with modification proposed by De Baets and Kerre. There are proven all possible mixed pseudo-associativity properties of Bandler – Kohout compositions of relations.

Multiple left distributive systems

Patrick Dehornoy (1997)

Commentationes Mathematicae Universitatis Carolinae

We describe the free objects in the variety of algebras involving several mutually distributive binary operations. Also, we show how an associative operation can be constructed on such systems in good cases, thus obtaining a two way correspondence between LD-monoids (sets with a left self-distributive and a compatible associative operation) and multi-LD-systems (sets with a family of mutually distributive operations).

On interval decomposition lattices

Stephan Foldes, Sándor Radeleczki (2004)

Discussiones Mathematicae - General Algebra and Applications

Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in an ordered set. They are defined abstractly as closed sets of a closure system on a set V, satisfying certain axioms. Decompositions are partitions of V whose blocks are intervals, and they form an algebraic semimodular lattice. Lattice-theoretical properties of decompositions are explored, and connections with particular types of intervals are established.

On sets related to maximal clones

Yeni Susanti, Klaus Denecke (2012)

Discussiones Mathematicae - General Algebra and Applications

For an arbitrary h-ary relation ρ we are interested to express n-clone Polⁿρ in terms of some subsets of the set of all n-ary operations Oⁿ(A) on a finite set A, which are in general not clones but we can obtain Polⁿρ from these sets by using intersection and union. Therefore we specify the concept a function preserves a relation and moreover, we study the properties of this new concept and the connection between these sets and Polⁿρ. Particularly we study R a ̲ , b n , k for arbitrary partial order relations,...

Currently displaying 61 – 80 of 137