Results 1 to 10 of about 263 (66)
Novel Free Differential Algebras for Supergravity
Universe, 2023 We develop the theory of Free Integro-Differential Algebras (FIDA) extending the powerful technique of Free Differential Algebras constructed by D. Sullivan. We extend the analysis beyond the superforms to integral- and pseudo-forms used in supergeometry.
Pietro Antonio Grassi
doaj +3 more sources
Free Algebras Over a Poset in Varieties of Łukasiewicz–Moisil Algebras
Demonstratio Mathematica, 2015 A general construction of the free algebra over a poset in varieties finitely generated is given in [8]. In this paper, we apply this to the varieties of Łukasiewicz-Moisil algebras, giving a detailed description of the free algebra over a finite poset ...
Orellano A. Figallo, Gallardo C.
doaj +3 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