相关论文: Negation-Free Definitions of Paraconsistency

The concept of missing at random is central in the literature on statistical analysis with missing data. In general, inference using incomplete data should be based not only on observed data values but should also take account of the…

Partial correctness of imperative or functional programming divides in logic programming into two notions. Correctness means that all answers of the program are compatible with the specification. Completeness means that the program produces…

Resilience of cyber-physical networks to unexpected failures is a critical need widely recognized across domains. For instance, power grids, telecommunication networks, transportation infrastructures and water treatment systems have all…

In this paper we discuss the consistency concept of Williams coherence for imprecise conditional previsions, presenting a variant of this notion, which we call W-coherence. It is shown that W-coherence ensures important consistency…

Symmetry breaking--the phenomenon in which the symmetry of a system is not inherited by its stable states--underlies pattern formation, superconductivity, and numerous other effects. Recent theoretical work has established the possibility…

The correlation between baryon number and strangeness elucidates the nature of strongly interacting matter, such as that formed transiently in high-energy nuclear collisions. This diagnostic can be extracted theoretically from lattice QCD…

Coherence is a familiar concept in physics: It is the driving force behind wavelike phenomena such as the diffraction of light. Moreover, wave-particle duality implies that all quantum objects can exhibit coherence, and this quantum…

In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must…

The perturbative expansion of static force and potential is reanalyzed concerning its practical applicability. A well behaved perturbative prediction is given by the integration of the renormalization group equation for the coupling…

Nonmonotonic reasoning is a pattern of reasoning that allows an agent to make and retract (tentative) conclusions from inconclusive evidence. This paper gives a possible-worlds interpretation of the nonmonotonic reasoning problem based on…

Multi-adjoint logic programming is a general framework with interesting features, which involves other positive logic programming frameworks such as monotonic and residuated logic programming, generalized annotated logic programs, fuzzy…

Decoherence is the phenomenon of non-unitary dynamics that arises as a consequence of coupling between a system and its environment. It has important harmful implications for quantum information processing, and various solutions to the…

It is shown that no-collapse and collapse interpretations of quantum mechanics give equal object states (which predict everything that is observable) if one bases the relevant relations on the Von Neumann-L\"uders 'projection'. This…

For a multidimensional driftless diffusion in an unbounded, smooth, sub-linear generalized parabolic domain, with oblique reflection from the boundary, we give natural conditions under which either explosion occurs, if the domain narrows…

Contextuality was originally defined only for consistently connected systems of random variables (those without disturbance/signaling). Contextuality-by-Default theory (CbD) offers an extension of the notion of contextuality to…

The assumption that a small point-like configuration does not interact with nucleons leads to a new set of sum rules that are interpreted as models of the baryon-nucleon interaction. These models are rendered semi-realistic by requiring…

Calibrating with detailed 2D core-collapse supernova simulations, we derive a simple core-collapse supernova explosion condition based solely upon the terminal density profiles of state-of-the-art stellar evolution calculations of the…

This paper explores conditions of existence of different types of consistent tests. New links of these types of consistency are also established. The existence of discernible (strong consistent) tests follows from the existence of pointwise…

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett's and Dag Prawitz' philosophical motivations and…

We analyse a specific instance of the general approach of reasoning based on forgetting by Lang and Marquis. More precisely, we discuss an approach for reasoning with inconsistent information using maximal consistent subsignatures, where a…