On the semilattice of extensions of a partial algebra
On the solidity of general varieties of tree languages
For a class of hypersubstitutions 𝓚, we define the 𝓚-solidity of general varieties of tree languages (GVTLs) that contain tree languages over all alphabets, general varieties of finite algebras (GVFAs), and general varieties of finite congruences (GVFCs). We show that if 𝓚 is a so-called category of substitutions, a GVTL is 𝓚-solid exactly in case the corresponding GVFA, or the corresponding GVFC, is 𝓚-solid. We establish the solidity status of several known GVTLs with respect to certain categories...
On the special context of independent sets
In this paper the context of independent sets is assigned to the complete lattice (P(M),⊆) of all subsets of a non-empty set M. Some properties of this context, especially the irreducibility and the span, are investigated.
On the structure of equationally complete varieties. I
On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions
The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family of diagonal morphisms, a family of terminal morphisms, and a family of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category)....
On the structure of quasi-ordering lattices
On the structure of semilattice sums
On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra.
On the tensor product of a Boolean algebra and an orthoalgebra
On the tolerance extension property
On the unique factorization problem
On the weak robustness of fuzzy matrices
A matrix in -algebra (fuzzy matrix) is called weakly robust if is an eigenvector of only if is an eigenvector of . The weak robustness of fuzzy matrices are studied and its properties are proved. A characterization of the weak robustness of fuzzy matrices is presented and an algorithm for checking the weak robustness is described.
On tolerance relations
On traces of maximal clones.
On transitive operations in abstract algebras
On t-semigroups.
On universal algebras having bases of different cardinalities
On varieties generated by Boolean clones.
On varieties of clones.
On Varieties of Literally Idempotent Languages
A language L ⊆A* is literally idempotent in case that ua2v ∈ L if and only if uav ∈ L, for each u,v ∈ A*, a ∈ A. Varieties of literally idempotent languages result naturally by taking all literally idempotent languages in a classical (positive) variety or by considering a certain closure operator on classes of languages. We initiate the systematic study of such varieties. Various classes of literally idempotent languages can be characterized using syntactic methods. A starting example is the...