相关论文: Negation-Free Definitions of Paraconsistency

A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The…

Negation is an important perspective of knowledge representation. Existing negation methods are mainly applied in probability theory, evidence theory and complex evidence theory. As a generalization of evidence theory, random permutation…

Structural models with no solution are incoherent, and those with multiple solutions are incomplete. We show that models with occasionally binding constraints are not generically coherent. Coherency requires restrictions on the parameters…

We consider in what sense quantum tunnelling is associated with non-classical probabilistic behaviour. We use the Wigner function quasi-probability description of quantum states. We give a definition of tunnelling that allows us to say…

The notions of null-sets and nullity are present in all discourses of mathematics. They are based on the dual-pair of notions of "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as…

In the quantitative theory of quantum coherence, the amount of coherence for given states can be meaningfully discussed only when referring to a preferred basis. One of the objections to this quantification is that the amount of coherence…

I show that under certain conditions it is possible to define consistent irrelevant deformations of interacting conformal field theories. The deformations are finite or have a unique running scale ("quasi-finite"). They are made of an…

Creativity, defined as the tendency to generate or recognize new ideas or alternatives and to make connections between seemingly unrelated phenomena, is too vast a horizon to be summed up in such a simple sentence. The extreme abstractness…

JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these…

A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of…

One of the most interesting questions concerning hierarchical control of discrete-event systems with partial observations is a condition under which the language observability is preserved between the original and the abstracted plant.…

It is argued that a fuzzy version of 4-truth-valued paraconsistent logic (with truth values corresponding to True, False, Both and Neither) can be approximately isomorphically mapped into the complex-number algebra of quantum probabilities.…

In the field of pattern mining, a negative sequential pattern is specified by means of a sequence consisting of events to occur and of other events, called negative events, to be absent. For instance, containment of the pattern $\langle a\…

We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on…

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for…

The Campbell theorem, relating the variance of the current of a fission chamber (a "filtered Poisson process") to the intensity of the detection events and to the detector pulse shape, becomes invalid when the neutrons generating the…

Knockoffs are a popular statistical framework that addresses the challenging problem of conditional variable selection in high-dimensional settings with statistical control. Such statistical control is essential for the reliability of…

The chemical bond is a central organizing concept in chemistry, yet it is absent from the molecular Hamiltonian and no "bond operator" exists. Bonding is therefore not a primitive physical entity but a derived descriptor emerging from the…

The management of uncertainty in expert systems has usually been left to ad hoc representations and rules of combinations lacking either a sound theory or clear semantics. The objective of this paper is to establish a theoretical basis for…

We investigate the spontaneous breaking of subsystem symmetries directly in the context of continuum field theories by calculating the correlation function of charged operators. Our methods confirm the lack of spontaneous symmetry breaking…