Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Relations between L-algebras and other logical algebras
View through CrossRef
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-algebras, BL-algebras, MV-algebras, BCK-algebras, equality algebras, EQ-algebras and Hilbert algebras. The aim of this paper is to find under what conditions L-algebras are equivalent to these logical algebras.
KMAN Publication Incorporation
Title: Relations between L-algebras and other logical algebras
Description:
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-algebras, BL-algebras, MV-algebras, BCK-algebras, equality algebras, EQ-algebras and Hilbert algebras.
The aim of this paper is to find under what conditions L-algebras are equivalent to these logical algebras.
Related Results
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...
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...
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...
On FBZ-Algebras
On FBZ-Algebras
This paper introduces the concept of FBZ-algebra as a generalization of fuzzy implication algebra and investigates its fundamental properties. We establish a sufficient condition f...
Weak pseudo-BCK algebras
Weak pseudo-BCK algebras
Abstract
In this paper we define and study the weak pseudo-BCK algebras as generalizations of weak BCK-algebras, extending some results given by Cı⃖rulis for weak BC...
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]...
Hausdorff (quasi)topological MV-algebras
Hausdorff (quasi)topological MV-algebras
In this paper, the relations between separation axioms and (quasi)topological MV-algebras are studied. It is proved that T0-spaces and (T1) Hausdorff spaces are equivalent in (qua...