相关论文: Combining fragments of classical logic: When are i…

We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable…

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and…

In previous works, a tableau calculus has been defined, which constitutes a decision procedure for hybrid logic with the converse and global modalities and a restricted use of the binder. This work shows how to extend such a calculus to…

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on…

Classical Decision Theory provides a normative framework for representing and reasoning about complex preferences. Straightforward application of this theory to automate decision making is difficult due to high elicitation cost. In response…

According to the so-called ``Quantum Darwinist'' approach, the emergence of ``classical islands'' from a quantum background is assumed to obey a (selection) principle of maximal information. We illustrate this idea by considering the…

We apply Hall and Reginatto's theory of interacting classical and quantum ensembles to harmonically coupled particles, with a view to understanding its experimental implications. This hybrid theory has no free parameters and makes…

Computational devices combining two or more different parts, one controlling the operation of the other, for example, derive their power from the interaction, in addition to the capabilities of the parts. Non-classical computation has…

This paper develops a systematic framework for integrating local categories that model logical connectives using higher category theory. By extending these local categories into a unified two-category enriched with natural isomorphisms, the…

There exist several good reasons why one may wish to add a total derivative to an interaction in quantum field theory, e.g., in order to improve the perturbative construction. Unlike in classical field theory, adding derivatives in general…

Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…

The classical methods used by recursion theory and formal logic to block paradoxes do not work in quantum information theory. Since quantum information can exist as a coherent superposition of the classical ``yes'' and ``no'' states,…

The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics…

This is the second part of a three-part overview, in which we derive the category-theoretic backbone of quantum theory from a process ontology, treating quantum theory as a theory of systems, processes and their interactions. In this part…

Three paradigms commonly used in classical, pre-quantum physics to describe particles (that is: the material point, the test-particle and the diluted particle (droplet model)) can be identified as limit-cases of a quantum regime in which…

Quantum mechanics can seem like a departure from everyday experience of the physical world, but constructivist theories assert that learners build new ideas from their existing ones. To explore how students can navigate this tension, we…

There is current interest in investigating which variables play an important role in the physical processes with an open composite quan- tum system that ranges from the foundational issues to the tasks of diverse applications in quantum…

Classical linear wave superposition produces the appearance of interference. This observation can be interpreted in two equivalent ways: one can assume that interference is an illusion because input components remain unperturbed, or that…

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…

In this paper a new mathematical procedure is presented for combining different pieces of evidence which are represented in the interval form to reflect our knowledge about the truth of a hypothesis. Evidences may be correlated to each…