Related papers: Negation-Free Definitions of Paraconsistency
Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of…
An operator connection is a binary operation assigned to each pair of positive operators satisfying monotonicity, continuity from above and the transformer inequality. In this paper, we introduce and characterize the concepts of…
Supersymmetry plays a main role in all current thinking about superstring theory. Indeed, many remarkable properties of string theory have been explained using supersymmetry as a tool. So far, there has been no unbroken supersymmetry…
The semantic web is an open and distributed environment in which it is hard to guarantee consistency of knowledge and information. Under the standard two-valued semantics everything is entailed if knowledge and information is inconsistent.…
This paper concerns the paraconsistent logic LPQ$^{\supset,\mathsf{F}}$ and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent…
Negation is both an operation in formal logic and in natural language by which a proposition is replaced by one stating the opposite, as by the addition of "not" or another negation cue. Treating negation in an adequate way is required for…
From an analysis of projective measurements, it is shown that the Wigner rule is the unique operational quasi-probability for the post-measurement state. A unique pre-measurement quasi-probability is derived from a principle of invariance…
The theory of nuclear structure (binding, low energy spectra, transitions, etc.) depends on nucleon-nucleon (NN) interactions. The meson theory of NN interactions has predictive power for NN scattering, and partial success when applied to…
Decoherence of a solid state based qubit can be caused by coupling to microscopic degrees of freedom in the solid. We lay out a simple theory and use it to estimate decoherence for a recently proposed superconducting persistent current…
A coherent state is defined conventionally in different ways such as a displaced vacuum state, an eigenket of annihilation operator or as an infinite dimensional Poissonian superposition of Fock states. In this work, we describe a…
Considerable work has recently been directed toward developing resource theories of quantum coherence. In most approaches, a state is said to possess quantum coherence if it is not diagonal in some specified basis. In this letter we…
Standard rational expectations models with an occasionally binding zero lower bound constraint either admit no solutions (incoherence) or multiple solutions (incompleteness). This paper shows that deviations from full-information rational…
This paper examines the problem of nonparametric testing for the no-effect of a random covariate (or predictor) on a functional response. This means testing whether the conditional expectation of the response given the covariate is almost…
Fusion is defined for arbitrary lowest weight representations of $W$-algebras, without assuming rationality. Explicit algorithms are given. A category of quasirational representations is defined and shown to be stable under fusion.…
We introduce a paraconsistent expansion of the G\"{o}del logic with a De Morgan negation $\neg$ and modalities $\blacksquare$ and $\blacklozenge$. We equip it with Kripke semantics on frames with two (possibly fuzzy) relations: $R^+$ and…
Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…
We define the coherence non-activating measurement as the positive operator-valued measurement which gives the same result whether or not the coherence in a quantum state is destroyed. A connection is built between the coherence activating…
Query equivalence is investigated for disjunctive aggregate queries with negated subgoals, constants and comparisons. A full characterization of equivalence is given for the aggregation functions count, max, sum, prod, toptwo and parity. A…
Coexistence of superconducting and normal components in nanowires at currents below the critical (a "mixed" state) would have important consequences for the nature and range of potential applications of these systems. For clean samples, it…
Guerraoui proposed an indulgent solution for the binary consensus problem. Namely, he showed that an arbitrary behavior of the failure detector never violates safety requirements even if it compromises liveness. Consensus implementations…