summary:Modal operators on Heyting algebras were introduced by Macnab. In this paper we introduce analogously modal operators on MV-algebras and study their properties. Moreover, modal operators on certain derived structures are investigated
summary:Let $L$ be an MS-algebra with congruence permutable skeleton. We prove that solving a system...
AbstractWe prove functorial representation theorems for MVΔ algebras, and for varieties obtained fro...
In this article, we formalize in Mizar [14] the definition of embedding of lattice and its propertie...
summary:Modal operators on Heyting algebras were introduced by Macnab. In this paper we introduce an...
AbstractI introduce in the MVn algebras of Revaz Grigolia two chains of unary operations, which are ...
summary:Bounded integral residuated lattices form a large class of algebras containing some classes ...
AbstractWe define and study monadic MV-algebras as pairs of MV-algebras one of which is a special ca...
In this paper, we consider Blackadar and Kirchberg's MF algebras. We show that any inner quasidiagon...
summary:This paper is motivated by Kirov results on generalized Bernstein polynomials given in (Kiro...
AbstractA matrix A∈Rn×n is an M-matrix if and only if the mapping x↦−Ax is quasimonotone increasing ...
Baaz's operator $\Delta$ was introduced (by Baaz) in order to extend G\"odel logics, after that this...
AbstractWe extend the results of Külshammer [J. Pure Appl. Algebra 86 (1993) 65] on the tensor produ...
The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morga...
AbstractFor Λ a finite-dimensional k-algebra, k a field, we study the relations between the category...
summary:Modal pseudocomplemented De Morgan algebras (or $mpM$-algebras for short) are investigated i...
summary:Let $L$ be an MS-algebra with congruence permutable skeleton. We prove that solving a system...
AbstractWe prove functorial representation theorems for MVΔ algebras, and for varieties obtained fro...
In this article, we formalize in Mizar [14] the definition of embedding of lattice and its propertie...
summary:Modal operators on Heyting algebras were introduced by Macnab. In this paper we introduce an...
AbstractI introduce in the MVn algebras of Revaz Grigolia two chains of unary operations, which are ...
summary:Bounded integral residuated lattices form a large class of algebras containing some classes ...
AbstractWe define and study monadic MV-algebras as pairs of MV-algebras one of which is a special ca...
In this paper, we consider Blackadar and Kirchberg's MF algebras. We show that any inner quasidiagon...
summary:This paper is motivated by Kirov results on generalized Bernstein polynomials given in (Kiro...
AbstractA matrix A∈Rn×n is an M-matrix if and only if the mapping x↦−Ax is quasimonotone increasing ...
Baaz's operator $\Delta$ was introduced (by Baaz) in order to extend G\"odel logics, after that this...
AbstractWe extend the results of Külshammer [J. Pure Appl. Algebra 86 (1993) 65] on the tensor produ...
The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morga...
AbstractFor Λ a finite-dimensional k-algebra, k a field, we study the relations between the category...
summary:Modal pseudocomplemented De Morgan algebras (or $mpM$-algebras for short) are investigated i...
summary:Let $L$ be an MS-algebra with congruence permutable skeleton. We prove that solving a system...
AbstractWe prove functorial representation theorems for MVΔ algebras, and for varieties obtained fro...
In this article, we formalize in Mizar [14] the definition of embedding of lattice and its propertie...
DOI
Add to ORKG