Results 31 to 40 of about 1,656 (236)
Boolean Products of MV-Algebras: Hypernormal MV-Algebras
Introduced by C. C. Chang in the late fifties as the Lindenbaum algebras of the infinite-valued calculus of Lukasiewicz, MV-algebras have been attracting renewed interest in the last decade, because they form an equational class being naturally equivalent to the category of lattice-ordered abelian groups with strong unit. As a consequence, countable MV-
Cignoli, R., Torrell, A.T.
openaire +3 more sources
Relationship Between Hyper MV -algebras and Hyperlattices
Sh. Ghorbani, et al. [9], generalized the concept of MV -algebras and defined the notion of hyper MV -algebras. Now, in this paper, we try to prove that any hyper MV -algebra is a hyperlattice. First we prove that any hyper MV -algebra that satisfies the
Borzooei R. A. +2 more
doaj +1 more source
Forensic Dynamic Lukasiewicz Logic [PDF]
A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic counterparts of ...
Antonio Di Nola, Revaz Grigolia
doaj +1 more source
The connection of hyper lattice implication algebras and related hyper algebras [PDF]
In this paper, we de ne the concepts of (good) con- gruences and strong congruences on hyper lattice implication alge- bras and use them to construct quotient hyper lattice implication algebras.
Shokoofeh Ghorbani
doaj +1 more source
Rényi Entropy and Rényi Divergence in Product MV-Algebras
This article deals with new concepts in a product MV-algebra, namely, with the concepts of Rényi entropy and Rényi divergence. We define the Rényi entropy of order q of a partition in a product MV-algebra and its conditional version ...
Dagmar Markechová, Beloslav Riečan
doaj +1 more source
Reflectional topology in MV-algebras [PDF]
In this paper, we define soaker ideals in an MV-algebra, and study the relationships between soaker ideals and the other ideals in an involutive MV -algebras.
Fereshteh Forouzesh, Naser Hosseini
doaj +1 more source
The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we \zruseno{will prove} \zmena{settle a half of their Open ...
Michal Botur, Jan Paseka
openaire +2 more sources
DERIVATIONS OF MV-ALGEBRAS FROM HYPER MV-ALGEBRAS
Summary: In this paper, we investigate some new results in MV-algebras and (strong) hyper MV-algebras. We show that for any infinite countable set \(M\), we can construct an MV-algebra and a strong hyper MV-algebra on \(M\). Specially, for any infinite totally bounded set, we can construct a strong hyper MV-algebra on it.
Hamidi, M., Borzooei, R. A.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DI NOLA, Antonio +2 more
openaire +4 more sources
On complete $MV$-algebras [PDF]
An element \(x\) of an \(MV\)-algebra (also called a Wajsberg algebra) is called an \(\alpha\)-atom if the interval \([0,x ]\) is a chain of cardinality \(\alpha\). The algebra \(A\) is said to be \(\alpha\)-atomic if for every \(y\in A\setminus \{0\}\) there is an \(\alpha\)-atoms \(x\) such that \(x\leq y\).
openaire +2 more sources

