A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusion between truth-values and information states, when reasoning about Boolean propositions. So our critique is along the lines of previous debates on the relevance of many-valued logics and especially of the extension o...

Let p be a prime, and let f (x) be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the p-adic order of the sum k≡r (mod p β) n k (−1) k f k − r p α , where α β 0, n p α−1 and r ∈ Z. This polynomial extension of Fleck's congruence has various backgrounds and several consequences such as k≡r (mod p α) n k a k ≡ 0 mod p n−p α−1 ϕ(p α) provided that ...

‎We prove the existence of PPF dependent coincidence points for a pair of single-valued and multi-valued mappings satisfying generalized contractive conditions in Banach spaces‎. ‎Furthermore, the PPF dependent fixed point and PPF dependent common fixed point theorems for multi-valued mappings are proved.

In this paper, we introduce  the notions of   interval-valued and $(in,ivq)$-interval-valued fuzzy ($p$-,$q$- and $a$-) ideals    of   BCI algebras   and investigate some of their properties.   We then derive characterization theorems for these generalized interval-valued fuzzy ideals  and discuss their relationship.

Abstract Experiment of time sequential pulse train synthesis using a layered and partially recurrent complex valued neural network is reported A half of the three layer complex valued neural network is used to generate sinusoidal oscillation and the other half to synthesize adaptively the intended pulse shapes and sequences Stable time sequential pulse signals are obtained after completion of l...

The objective of our paper is to investigate the possibilities of a logical representation for argumentation executed in multi-agent systems. We concentrate particularly on belief’s uncertainty and revision that an agent deals with throughout the process of discussion. Moreover, we propose a formalism based on a multi-valued logic that allows for specification of properties of multi-agent syste...

The paper considers a particular family of fuzzy monotone set–valued stochastic processes. The proposed setting allows us to investigate suitable α-level sets of such processes, modeling birth–and–growth processes. A decomposition theorem is established to characterize the nucleation and the growth. As a consequence, different consistent set–valued estimators are studied for growth process. Mor...

The paper considers a particular family of set–valued continuous time stochastic processes modeling birth–and–growth processes. The proposed setting allows us to infer the nucleation and the growth processes. A decomposition theorem is established to characterize the nucleation and the growth. As a logical consequence, different consistent set–valued estimators are studied for growth process. M...

The paper considers a particular family of set–valued stochastic processes modeling birth–and–growth processes. The proposed setting allows us to investigate the nucleation and the growth processes. A decomposition theorem is established to characterize the nucleation and the growth. As a consequence, different consistent set–valued estimators are studied for growth process. Moreover, the nucle...

Transfer entropy (TE) is a model-free approach based on information theory to capture causality between variables, which has been used for the modeling and monitoring of, and fault diagnosis in, complex industrial processes. It is able to detect the causality between variables without assuming any underlying model, but it is computationally burdensome. To overcome this limitation, a hybrid meth...