Results 11 to 20 of about 32 (32)
Some remarks on connectors and groupoids in Goursat categories [PDF]
Logical Methods in Computer Science, 2017 We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $\mathsf{Conn}(\mathbb{C})$ of connectors in $\mathbb{C}$ is a Goursat category whenever $\mathbb C$ is.
Marino Gran +2 more
doaj +1 more source
All Linear-Solid Varieties of Semirings
Discussiones Mathematicae - General Algebra and Applications, 2019 A variety of semirings is said to be solid if each of its identities is satisfied as hyperidentity. There are precisely four solid varieties of semirings.
Hounnon Hippolyte, Denecke Klaus
doaj +1 more source
On some varieties of ai-semirings satisfying xp+1 ≈ x
Open Mathematics, 2018 The aim of this paper is to study the lattice of subvarieties of the ai-semiring variety defined by the additional ...
Wang Aifa, Shao Yong
doaj +1 more source
The Clone of K*(n, r)-Full Terms
Discussiones Mathematicae - General Algebra and Applications, 2019 Let τn be a type of algebras in which all operation symbols have arity n, for a fixed n ≥ 1. For 0 < r ≤ n, this paper introduces a special kind of n-ary terms of type τn called K*(n, r)-full terms. The set of all K*(n, r)-full terms of type τn is closed
Wattanatripop Khwancheewa +1 more
doaj +1 more source
Note on quasivarieties generated by finite pointed abelian groups
Open MathematicsWe prove that a finite pointed abelian group generates a finitely axiomatizable variety that has a finite quasivariety lattice. As a consequence, we obtain that a quasivariety generated by a finite pointed abelian group has a finite basis of quasi ...
Basheyeva Ainur, Lutsak Svetlana
doaj +1 more source
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers [PDF]
, 1999 This paper shows that the collection of identities in two variableswhich hold in the algebra N of the natural numbers with constantzero, and binary operations of sum and maximum does not have afinite equational axiomatization.
Ésik, Zoltán +2 more
core
A POLYNOMIAL CHARACTERIZATION OF CONGRUENCE CLASSES
, 2020 Let V be a regular and permutable variety and A = (A, F ) ∈ V. Let ∅ = C ⊆ A. We get an explicite list L of polynomials such that C is a congruence class of some θ ∈ Con A iff C is closed under all terms of L.
Radim Bělohlávek, Ivan Chajda
core
Automated Reasoning about Cubic Curves
, 1993 It is well known that the n-ary morphisms defined on projective algebraic curves satisfy some strong local-to-global equational rules of derivation not satisfied in general by universal algebras. For example, every rationally defined group law on a cubic
R. Padmanabhan, W. Mccune
core
Some properties of residuated lattices
, 2003 We investigate some (universal algebraic) properties of residuated lattices -algebras which play the role of structures of truth values of various systems of fuzzy logic.
Radim Bělohlávek, Ostrava
core