相关论文: Negation-Free Definitions of Paraconsistency

We introduce the notion of quantum dissension for a three-qubit system as a measure of quantum correlations. We use three equivalent expressions of three-variable mutual information. Their differences can be zero classically but not so in…

Percolation is perhaps the simplest example of a process exhibiting a phase transition and one of the most studied phenomena in statistical physics. The percolation transition is continuous if sites/bonds are occupied independently with the…

Abstaining classifiers have the option to abstain from making predictions on inputs that they are unsure about. These classifiers are becoming increasingly popular in high-stakes decision-making problems, as they can withhold uncertain…

Two notions of nonclassicality that have been investigated intensively are: (i) negativity, that is, the need to posit negative values when representing quantum states by quasiprobability distributions such as the Wigner representation, and…

Nonlinear fermions of degree $n$ ($n$-fermions) are introduced as particles with creation and annihilation operators obeying the simple nonlinear anticommutation relation $AA^\dagger + {A^\dagger}^n A^n = 1$. The ($n+1$)-order nilpotency of…

We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-known Belnap--Dunn paraconsistent four-valued logic…

Negation as failure and incomplete information in logic programs have been studied by many researchers In order to explains HOW a negated conclusion was reached, we introduce and proof a different way for negating facts to overcoming…

Consistency is an extension to generalized synchronization which quantifies the degree of functional dependency of a driven nonlinear system to its input. We apply this concept to echo-state networks, which are an artificial-neural network…

We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority…

This letter concerns the reliability of coupled oscillator networks in response to fluctuating inputs. Reliability means that (following a transient) an input elicits identical responses upon repeated presentations, regardless of the…

The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…

This article proposes a reading of quantum metaphysical indeterminacy from the perspective of Parsons' Nuclear Meinongianism. In doing so, we identify a fundamental incompatibility between a key feature of Parsons' theory and standard…

In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop…

In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events. We recall that…

It is shown that quantum-type coherence, leading to indeterminism and interference of probabilities, may in principle exist in the absence of the Planck constant and a Hamiltonian. Such coherence is a combined effect of a symmetry (not…

In the context of a physical theory, two devices, A and B, described by the theory are called incompatible if the theory does not allow the existence of a third device C that would have both A and B as its components. Incompatibility is a…

Various networks such as cloud computing, water/gas/electricity networks, wireless sensor networks, transportation networks, and 4G/5G networks, have become an integral part of our daily lives. A binary-state network (BN) is often used to…

Let $B$ be a bounded self-adjoint operator and let $A$ be a nonnegative self-adjoint unbounded operator. It is shown that if $BA$ is normal, it must be self-adjoint and so must be $AB$. Commutativity is necessary and sufficient for this…

Relativistic microcausality is the statement that local field operators commute outside the light-cone. This condition is known to break down in low-energy effective theories, such as $P(X)$ models with a derivative interaction term of the…

A dozen papers have considered the concept of negation of probability distributions (pd) introduced by Yager. Usually, such negations are generated point-by-point by functions defined on a set of probability values and called here negators.…