Results 1 to 10 of about 1,101 (266)
Group Structures and Derivations on PMS-algebras [version 1; peer review: 2 approved] [PDF]
F1000ResearchBackground PMS-algebras are a specific algebraic structure that generalizes a propositional algebra called BCK-algebra. This paper delves into the intricate group structure of these algebras and the concept of derivations within this framework.
Zelalem Teshome Wale +3 more
doaj +2 more sources
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
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
Corecursive Algebras, Corecursive Monads and Bloom Monads [PDF]
Logical Methods in Computer Science, 2014 An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras.
Jiří Adámek +2 more
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
Free complete Wasserstein algebras [PDF]
Logical Methods in Computer Science, 2018 We present an algebraic account of the Wasserstein distances $W_p$ on complete metric spaces, for $p \geq 1$. This is part of a program of a quantitative algebraic theory of effects in programming languages.
Radu Mardare +2 more
doaj +1 more source
Acyclic Complexes and Graded Algebras
Mathematics, 2023 We already know that the noncommutative N-graded Noetherian algebras resemble commutative local Noetherian rings in many respects. We also know that commutative rings have the important property that every minimal acyclic complex of finitely generated ...
Chaoyuan Zhou
doaj +1 more source
On Free $\omega$-Continuous and Regular Ordered Algebras [PDF]
Logical Methods in Computer Science, 2019 We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms.
Zoltan Esik, Dexter Kozen
doaj +1 more source
Free Monadic Tarski and MMI3-Algebras
Demonstratio Mathematica, 2014 MMI3-algebras are a generalization of the monadic Tarski algebras as defined by A. Monteiro and L. Iturrioz, and a particular case of the MMIn+1-algebras defined by A. Figallo.
Entizne Rosana V. +3 more
doaj +1 more source
Free nonunitary Rota-Baxter family algebras and typed leaf-spaced decorated planar rooted forests
Open Mathematics, 2020 In this paper, we decorate leaves and edges of planar rooted forests simultaneously and use a part of them to construct free nonunitary Rota-Baxter family algebras. As a corollary, we obtain the construction of free nonunitary Rota-Baxter algebras.
Wang Jinwei +3 more
doaj +1 more source