相关论文: Negation-Free Definitions of Paraconsistency

Building consistent distributed systems has largely depended on complex coordination strategies that are not only tricky to implement, but also take a toll on performance as they require nodes to wait for coordination messages. In this…

In many situations humans have to reason with inconsistent knowledge. These inconsistencies may occur due to not fully reliable sources of information. In order to reason with inconsistent knowledge, it is not possible to view a set of…

The association of broken symmetries with phase transitions is ubiquitous in condensed matter physics: crystals break translational symmetry, magnets break rotational symmetry, and superconductors break gauge symmetry. However, despite the…

We predict a condensation phenomenon in an overall neutral system, consisting of a single charged plate and its oppositely charged counterions. Based on the ``two-fluid'' model, in which the counterions are divided into a ``free'' and a…

In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that there is no sound and complete standard sequent calculus for these logics.…

Negation in natural language does not follow Boolean logic and is therefore inherently difficult to model. In particular, it takes into account the broader understanding of what is being negated. In previous work, we proposed a framework…

The interpretation of the charged (CCQE) and neutral (NCE) current quasi elastic events collected by the MiniBooNE collaboration involves a number of unresolved issues. While it has been suggested that the data can be explained in terms of…

For Hilbert, the consistency of a formal theory T is an infinite series of statements "D is free of contradictions" for each derivation D and a consistency proof is i) an operation that, given D, yields a proof that D is free of…

Emergence is a pregnant property in various fields. It is the fact for a phenomenon to appear surprisingly and to be such that it seems at first sight that it is not possible to predict its apparition. That is the reason why it has often…

This series of lectures consists of two parts. In the first part the foundations of perturbative and non perturbative formulation are discussed. The ambiguity in the definition of vacuum condensates is then analyzed. In the second part the…

Integrability in quantum theory has been defined in more than one ways. Recently, Braak suggested a new definition that a quantum system is integrable if the number of parameters required to specify the eigenstates and the number degrees of…

We reply to the recent note "Comment on Synchronization dynamics in non-normal networks: the trade-off for optimality", showing that the authors base their claims mainly on general theoretical arguments that do not necessarily invalidate…

We consider the problem of hypotheses testing with the basic simple hypothesis: observed sequence of points corresponds to stationary Poisson process with known intensity. The alternatives are stationary self-exciting point processes. We…

We propose that the mechanism responsible for the ``collapse of the wave function" (or "decoherence" in its broadest meaning) in quantum mechanics is the nonlinearities already present in the theory via nonabelian gauge interactions. Unlike…

The entropy definition is deduced by means of (re)deriving the generalized non-linear Langevin equation using Zwanzig projector operator formalism. It is shown to be necessarily related to an invariant measure which, in classical mechanics,…

Quantum theory is formulated as the uniquely consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if the amplitude of a quantum process can be computed in two different ways, the two…

G\"odel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in…

This paper analyzes negation in eight popular corpora spanning six natural language understanding tasks. We show that these corpora have few negations compared to general-purpose English, and that the few negations in them are often…

Nonclassicality and entanglement are notions fundamental to quantum information processes involving continuous variable systems. That these two notions are intimately related has been intuitively appreciated for quite some time. An aspect…

Granger causal inference is a contentious but widespread method used in fields ranging from economics to neuroscience. The original definition addresses the notion of causality in time series by establishing functional dependence…