Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Projectivity and unification in the varieties of locally finite monadic MV-algebras
View through CrossRef
A description of finitely generated free monadic MV-algebras anda characterization of projective monadic MV-algebras in locally finitevarieties is given. It is shown that unification type of locally finitevarieties is unitary.
Title: Projectivity and unification in the varieties of locally finite monadic MV-algebras
Description:
A description of finitely generated free monadic MV-algebras anda characterization of projective monadic MV-algebras in locally finitevarieties is given.
It is shown that unification type of locally finitevarieties is unitary.
Related Results
A New Model of Fuzzy Logic: Monadic Monoidal T-Norm Based Logic
A New Model of Fuzzy Logic: Monadic Monoidal T-Norm Based Logic
Abstract
In this article, we introduce the variety of monadic MTL-algebras as MTL-algebras equipped with two monadic operators. After a study of the basic properties of thi...
Monadic Bounded Algebras
Monadic Bounded Algebras
<p>The object of study of the thesis is the notion of monadic bounded algebras (shortly, MBA's). These algebras are motivated by certain natural constructions in free (first-...
Finitely Presented Heyting Algebras
Finitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting<br />algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every s...
Differential graded vertex Lie algebras
Differential graded vertex Lie algebras
This is the continuation of the study of differential graded (dg) vertex algebras defined in our previous paper [Caradot et al., “Differential graded vertex operator algebras and t...
Quantum B-algebras
Quantum B-algebras
Abstract
The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic...
Relations between L-algebras and other logical algebras
Relations between L-algebras and other logical algebras
In this paper, by considering the notion of L-algebra, we show that there are relations between L-algebras and some of other logical algebras such as residuated lattices, MTL-alge...
On Schur-type theorem for Leibniz 3-algebras
On Schur-type theorem for Leibniz 3-algebras
One of the classic results of group theory is the so-called Schur theorem. It states that if the central factor-group G/ζ(G) of a group G is finite, then its derived subgroup [G,G]...
On Kreb Algebras
On Kreb Algebras
In this paper, kreb algebras are introduced. It is shown that that the class of kreb algebras is a wider class than the class of BCI algebras. Properties of kreb algebras are prese...