相关论文: Negation-Free Definitions of Paraconsistency

The theory and simulations of quasi-perpendicular and strictly perpendicular collisionless shocks are reviewed. The text is structured into the following sections and subsections: 1. Setting the frame, where the quasi-perpendicular shock…

Ontology-based query answering with existential rules is well understood and implemented for positive queries, in particular conjunctive queries. The situation changes drastically for queries with negation, where there is no agreed-upon…

We derive a simple relation between strangeness neutrality and baryon-strangeness correlations. In heavy-ion collisions, the former is a consequence of quark number conservation of the strong interactions while the latter are sensitive…

In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without…

In the present paper, we investigate consequence relations that are both paraconsistent and plausible (but still monotonic). More precisely, we put the focus on pivotal consequence relations, i.e. those relations that can be defined by a…

We study the mutual percolation of a system composed of two interdependent random regular networks. We introduce a notion of distance to explore the effects of the proximity of interdependent nodes on the cascade of failures after an…

Concepts modified by a Non- prefix apparently denote a negation, an opposite of the concept without this prefix. But, generally the situation is rather subtle: non- implies only partial negation and the concept suggests preserved identity…

We study the reliability of phase oscillator networks in response to fluctuating inputs. Reliability means that an input elicits essentially identical responses upon repeated presentations, regardless of the network's initial condition. In…

Recently, a delicately designed Gedankenexperiment was proposed to check the self-consistence of quantum theory in the description of the agents who are using this theory. It was demonstrated that the quantum theory is inconsistent. Here a…

The pseudospectra (or spectral instability) of non-selfadjoint operators is a topic of current interest in applied mathematics. In fact, for non-selfadjoint operators the resolvent could be very large outside the spectrum, making the…

The concept of quasi-bosons or composite bosons (like mesons, excitons etc.) has a wide range of potential physical applications. Even composed of two pure fermions, the quasi-boson creation and annihilation operators satisfy non-standard…

We pose and resolve a seeming paradox about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator. But Wigner's theorem…

This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…

Human agents happen to judge that a conjunction of two terms is more probable than one of the terms, in contradiction with the rules of classical probabilities---this is the conjunction fallacy. One of the most discussed accounts of this…

The notion of a tensor product with projections or with inclusions is defined. It is shown that the definition of stochastic independence relies on such a structure and that independence can be defined in an arbitrary category with a tensor…

Null hypothesis significance testing remains popular despite decades of concern about misuse and misinterpretation. We believe that much of the problem is due to language: significance testing has little to do with other meanings of the…

For both reactions we use an approach similar to that of compound-nucleus reaction theory. For neutron-induced fission, we describe the compound system generated by absorption of the neutron and the nuclear system near the scission point as…

The possibility of a fundamental consistency between the basic quantum principles and reduction (so-called wave function reduction) is reexamined. The mathematical description of an organized macroscopic device is constructed explicitly as…

Open superstring theory is formulated in terms of a nondegenerate supertranslation algebra. A supercharge for a tachyonic superstring can be also defined classically by taking into account the leakage of the supercurrent which is…

Belnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. BD is a four-valued logic…