Add to ORKGWe present the basic theory of the most natural algebraic counterpart of the À0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras
We explore some properties related to the underlying lattice structure of pseudo-Wajsberg algebras. ...
Abstract. This article develops a general dual adjunction between MV-alge-bras (the algebraic equiva...
We propose the notion of automata over Lukasiewicz many-valued logic, extending fuzzy automata ([9])...
Preprint enviat per a la seva publicació en una revista científica: Stochastica,1984, volume 8, num....
In this paper we study the tensor product for MV-algebras, the algebraic structures of Åukasiewicz ...
We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In ...
In many-valued logic a question arises about the existence of a logical matrix M = (A,D) that is str...
We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplica...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
In this work, we introduce Wajsberg algebras which are equivalent structures to MV-algebras in their...
summary:MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Łukasi...
MV-algebras are the algebraic counterparts of infinite-valued sentential calculus of Lukasiewicz log...
In this work, we introduce Wajsberg algebras which are equivalent structures to MV-algebras in their...
AbstractIn this paper, using the representation theorem of Moisil (see [2]) the author introduces an...
AbstractIn this paper we introduce the concept of θ-valued Moisil field, where θ is an ordinal, and ...
We explore some properties related to the underlying lattice structure of pseudo-Wajsberg algebras. ...
Abstract. This article develops a general dual adjunction between MV-alge-bras (the algebraic equiva...
We propose the notion of automata over Lukasiewicz many-valued logic, extending fuzzy automata ([9])...
Preprint enviat per a la seva publicació en una revista científica: Stochastica,1984, volume 8, num....
In this paper we study the tensor product for MV-algebras, the algebraic structures of Åukasiewicz ...
We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In ...
In many-valued logic a question arises about the existence of a logical matrix M = (A,D) that is str...
We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplica...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
In this work, we introduce Wajsberg algebras which are equivalent structures to MV-algebras in their...
summary:MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Łukasi...
MV-algebras are the algebraic counterparts of infinite-valued sentential calculus of Lukasiewicz log...
In this work, we introduce Wajsberg algebras which are equivalent structures to MV-algebras in their...
AbstractIn this paper, using the representation theorem of Moisil (see [2]) the author introduces an...
AbstractIn this paper we introduce the concept of θ-valued Moisil field, where θ is an ordinal, and ...
We explore some properties related to the underlying lattice structure of pseudo-Wajsberg algebras. ...
Abstract. This article develops a general dual adjunction between MV-alge-bras (the algebraic equiva...
We propose the notion of automata over Lukasiewicz many-valued logic, extending fuzzy automata ([9])...