Results 31 to 40 of about 1,656 (236)

Boolean Products of MV-Algebras: Hypernormal MV-Algebras

open access: yesJournal of Mathematical Analysis and Applications, 1996
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

open access: yesAnnals of the West University of Timisoara: Mathematics and Computer Science, 2016
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]

open access: yesTransactions on Fuzzy Sets and Systems, 2022
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]

open access: yesJournal of Hyperstructures, 2016
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

open access: yesEntropy, 2018
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]

open access: yesCategories and General Algebraic Structures with Applications, 2022
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

On tense MV-algebras

open access: yesFuzzy Sets and Systems, 2015
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

open access: yesHonam Mathematical Journal, 2016
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

Projective MV-algebras

open access: yesInternational Journal of Approximate Reasoning, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DI NOLA, Antonio   +2 more
openaire   +4 more sources

On complete $MV$-algebras [PDF]

open access: yesCzechoslovak Mathematical Journal, 1995
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

Home - About - Disclaimer - Privacy