Results 1 to 10 of about 562 (169)
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source
Algebras and Representation Theory, 2020 AbstractIn this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same variety have the same dimension.
Green, Edward L. +2 more
openaire +4 more sources
On the Equational Base of SMB Algebras
Mathematics, 2023 The “semilattices of Mal’cev blocks”, for short SMB algebras, were defined by A. Bulatov. In a recently accepted paper by P. Đapić, P. Marković, R. McKenzie, and A.
Petar Đapić +2 more
doaj +1 more source
Product preservation and stable units for reflections into idempotent subvarieties [PDF]
Categories and General Algebraic Structures with Applications, 2020 We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety.
Isabel A. Xarez, Joao J. Xarez
doaj +1 more source
Logical Methods in Computer Science, 2020 We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the existence of syntactic algebras.
Achim Blumensath
doaj +1 more source
Pseudo-free families and cryptographic primitives
Journal of Mathematical Cryptology, 2022 In this article, we study the connections between pseudo-free families of computational Ω\Omega -algebras (in appropriate varieties of Ω\Omega -algebras for suitable finite sets Ω\Omega of finitary operation symbols) and certain standard cryptographic ...
Anokhin Mikhail
doaj +1 more source
The least dimonoid congruences on relatively free trioids
Математичні Студії, 2022 When Loday and Ronco studied ternary planar trees, they introduced types of algebras, called trioids and trialgebras. A trioid is a nonempty set equipped with three binary associative operations satisfying additional eight axioms relating these ...
A. V. Zhuchok
doaj +1 more source
Reticulation of Quasi-commutative Algebras [PDF]
Journal of Mahani Mathematical Research, 2023 The commutator theory, developed by Fresee and McKenzie in the framework of a congruence-modular variety $\mathcal{V}$, allows us to define the prime congruences of any algebra $A\in \mathcal{V}$ and the prime spectrum $Spec(A)$ of $A$.
G. Georgescu
doaj +1 more source
Forensic Dynamic Lukasiewicz Logic [PDF]
Transactions on Fuzzy Sets and Systems, 2022 A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic counterparts of ...
Antonio Di Nola, Revaz Grigolia
doaj +1 more source
A Note on 3×3-valued Łukasiewicz Algebras with Negation
Bulletin of the Section of Logic, 2021 In 2004, C. Sanza, with the purpose of legitimizing the study of n × m-valued Łukasiewicz algebras with negation (or NSn×m-algebras) introduced 3 × 3-valued Łukasiewicz algebras with negation.
Carlos Gallardo, Alicia Ziliani
doaj +1 more source