Galois theory and double central extensions.
An algebra is subregular alias regular with respect to a unary term function if for each we have whenever for each . We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset is a class of some congruence on containing if and only if is this generalized deductive system. This method is efficient (needs a finite number of steps).
An inflation of an algebra is formed by adding a set of new elements to each element in the original or base algebra, with the stipulation that in forming products each new element behaves exactly like the element in the base algebra to which it is attached. Clarke and Monzo have defined the generalized inflation of a semigroup, in which a set of new elements is again added to each base element, but where the new elements are allowed to act like different elements of the base, depending on the context...
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete iterativeness),...
It is well known that, given an endofunctor H on a category C , the initial (A+H-)-algebras (if existing), i.e. , the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [12] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...
The notion of a construction of a fuzzy preference structures is introduced. The properties of a certain class of generated fuzzy implications are studied. The main topic in this paper is investigation of the construction of the monotone generator triplet , which is the producer of fuzzy preference structures. Some properties of mentioned monotone generator triplet are investigated.
In this paper, some generating methods for principal topology are introduced by means of some logical operators such as uninorms and triangular norms and their properties are investigated. Defining a pre-order obtained from the closure operator, the properties of the pre-order are studied.