Results 11 to 20 of about 1,626 (175)
Tense like equality algebras [PDF]
Categories and General Algebraic Structures with Applications, 2020 In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra.
Mohammad Ali Hashemi, Rajabali Borzooei
doaj +1 more source
An efficient deep learning model for brain tumour detection with privacy preservation
CAAI Transactions on Intelligence Technology, EarlyView., 2023 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
f-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS [PDF]
Journal of Algebraic Systems, 2013 Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples.
L. Kamali Ardakani, Bijan Davvaz
doaj +1 more source
Quasi-MV algebras for complex fuzzy logic
AIMS Mathematics, 2022 Complex fuzzy logic (CFL) is an emerging topic of research in fuzzy logic. Due to the circle structured codomain of the complex membership function, algebraic structure (including MV-algebra) in traditional fuzzy logic cannot be easily transplanted to ...
Songsong Dai
doaj +1 more source
Journal of Hyperstructures, 2023 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]
Mathematica Bohemica, 2020 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]
Journal of Hyperstructures, 2019 . 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
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
, 2008 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
Boolean Products of MV-Algebras: Hypernormal MV-Algebras
Journal 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
Normalization of $MV$-algebras [PDF]
Mathematica Bohemica, 2005 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