Results 21 to 30 of about 105 (75)
Deductive systems of pseudo-M algebras
The class of pseudo-M algebras contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI algebras and many other algebras of logic. In this paper, the notion of deductive system in a pseudo-M algebra is introduced and its elementary properties ...
Andrzej Walendziak
doaj
This work introduces Wearable deep learning (WearableDL) that is a unifying conceptual architecture inspired by the human nervous system, offering the convergence of deep learning (DL), Internet‐of‐things (IoT), and wearable technologies (WT) as follows: (1) the brain, the core of the central nervous system, represents deep learning for cloud computing
Aras R. Dargazany +3 more
wiley +1 more source
Introduction to Neutrosophic BCI/BCK‐Algebras
We introduce the concept of neutrosophic BCI/BCK‐algebras. Elementary properties of neutrosophic BCI/BCK algebras are presented.
A. A. A. Agboola +2 more
wiley +1 more source
Vague Filters of Residuated Lattices
Notions of vague filters, subpositive implicative vague filters, and Boolean vague filters of a residuated lattice are introduced and some related properties are investigated. The characterizations of (subpositive implicative, Boolean) vague filters is obtained. We prove that the set of all vague filters of a residuated lattice forms a complete lattice
Shokoofeh Ghorbani, Hong J. Lai
wiley +1 more source
States and Measures on Hyper BCK‐Algebras
We define the notions of Bosbach states and inf‐Bosbach states on a bounded hyper BCK‐algebra (H, ∘, 0, e) and derive some basic properties of them. We construct a quotient hyper BCK‐algebra via a regular congruence relation. We also define a ∘‐compatibled regular congruence relation θ and a θ‐compatibled inf‐Bosbach state s on (H, ∘, 0,e). By inducing
Xiao-Long Xin, Pu Wang, Baolin Wang
wiley +1 more source
The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.
openaire +2 more sources
Fixed‐Point Hoop Algebras and Lattice‐Theoretic Properties of Derivation Classes
We introduce three classes of derivations on hoop algebras—pseudo implicative, implicative, and f‐implicative—and investigate their algebraic characteristics through detailed examples. We establish that, under natural conditions, the collection of pseudo implicative derivations forms a bounded distributive lattice.
Ali Madanshekaf +2 more
wiley +1 more source
Abstract Although thermally coupled distillation (TCD) exhibits strong energy efficiency, the possibility of utility cost savings remains debatable. TCD designs that do not consider vapor transport can underestimate costs, making section rearrangement crucial to find more operable configurations.
Anqing Wang +2 more
wiley +1 more source
Commutative Pseudo valuations on BCK‐Algebras
The notion of a commutative pseudo valuation on a BCK‐algebra is introduced, and its characterizations are investigated. The relationship between a pseudo valuation and a commutative pseudo‐valuation is examined.
Myung Im Doh, Min Su Kang, Young Bae Jun
wiley +1 more source
BCK‐Algebras and Related Algebraic Systems
International Journal of Mathematics and Mathematical Sciences, Volume 2011, Issue 1, 2011.
Young Bae Jun +5 more
wiley +1 more source

