Filters and annihilators in implication algebras
Filters and Simple Graphic Algebras.
Finite hull systems and their implication bases. (Endliche Hüllensysteme und ihre Implikationenbasen.)
Finite monogenic distributive systems
Finite Symmetric Functions with Non-Trivial Arity Gap
Given an n-ary k-valued function f, gap(f) denotes the essential arity gap of f which is the minimal number of essential variables in f which become fictive when identifying any two distinct essential variables in f. In the present paper we study the properties of the symmetric function with non-trivial arity gap (2 ≤ gap(f)). We prove several results concerning decomposition of the symmetric functions with non-trivial arity gap with its minors or subfunctions. We show that all non-empty sets of...
Finitely generated almost universal varieties of -lattices
A concrete category is (algebraically) universal if any category of algebras has a full embedding into , and is almost universal if there is a class of -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of -lattices which are almost universal.
Finitely generated almost universal varieties of 0-lattices.
Finitely generated commutative division semirings
Finitely generated relations and their applications to permutable and -permutable varieties
Flocks in universal and Boolean algebras
We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients. The main example, we consider outside vector spaces, concerns Boolean algebras,...
Foldness of Commutative Ideals in BCK-algebras
This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.
Foncteur pleinement fidèle dense classant les algèbres
Formal integration in composition rings
Formal Translation Monoid and Algebra Congruences in a Monodial Category.
Four notes on quasiorder lattices
Four-part semigroups - semigroups of Boolean operations
Four-part semigroups form a new class of semigroups which became important when sets of Boolean operations which are closed under the binary superposition operation f + g := f(g,...,g), were studied. In this paper we describe the lattice of all subsemigroups of an arbitrary four-part semigroup, determine regular and idempotent elements, regular and idempotent subsemigroups, homomorphic images, Green's relations, and prove a representation theorem for four-part semigroups.
Free algebras and automata realizations in the language of categories
Free algebras on a fixed set
Free groupoids with axioms of the form and/or .
Free Term Algebras
We interoduce a new characterization of algebras of normal forms of term rewriting systems [35] as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compiler algebras...