Results 11 to 20 of about 1,668 (199)
Derivations of MV-Algebras [PDF]
We introduce the notion of derivation for an MV-algebra and discuss some related properties. Using the notion of an isotone derivation, we give some characterizations of a derivation of an MV-algebra.
N. O. Alshehri
doaj +3 more sources
Inverse topology in MV-algebras [PDF]
We introduce the inverse topology on the set of all minimal prime ideals of an MV-algebra $A$ and show that the set of all minimal prime ideals of $A$, namely ${\rm Min}(A)$, with the inverse topology is a compact space, Hausdorff, $T_0$-space and $T_1 ...
Fereshteh Forouzesh +2 more
doaj +3 more sources
An efficient deep learning model for brain tumour detection with privacy preservation
Abstract Internet of medical things (IoMT) is becoming more prevalent in healthcare applications as a result of current AI advancements, helping to improve our quality of life and ensure a sustainable health system. IoMT systems with cutting‐edge scientific capabilities are capable of detecting, transmitting, learning and reasoning.
Mujeeb Ur Rehman +8 more
wiley +1 more source
In this paper, we introduce the notion of hyper JK-algebras and investigate these algebras properties. Moreover, we present relationships between hyper JK-algebras and pseudo hyper BCK-algebras and hyper pseudo MV-algebras under some conditions.
Mohammad Ali Hashemi
doaj +1 more source
On ideal theory of hoops [PDF]
In this paper, we define and characterize the notions of (implicative, maximal, prime) ideals in hoops. Then we investigate the relation between them and prove that every maximal implicative ideal of a $\vee$-hoop with double negation property is a prime
Mona Aaly Kologani, Rajab Ali Borzooei
doaj +1 more source
Fuzzy n-fold obstinate ideals in mv -algebras [PDF]
. In this paper, we introduce the notion of n-fold Boolean ideals of an MV -algebra and consider the quotient algebras induced by n-fold Boolean ideals. Also we prove that I is a n-fold Boolean ideal of an MV -algebra if and only if A/I is a n+1-bounded ...
Fereshteh Forouzesh
doaj +1 more source
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
Normalization of $MV$-algebras [PDF]
Summary: We consider algebras determined by all normal identities of MV-algebras, i.e., algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e., a \(q\)-lattice, and another one based on a normalization of a lattice-ordered group.
Chajda, I. +3 more
openaire +2 more sources
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given.
Freytes, Hector
core +1 more source
In this paper, we introduce a new algebraic structure called extended quasi-MV algebras, which are generalizations of quasi-MV algebras. The notions of ideals, ideal congruences and filters in Equasi-MV algebras were introduced and their mutual ...
Mengmeng Liu, Hongxing Liu
doaj +1 more source

