相关论文: Almost all classical theorems are intuitionistic

Quantum theory expresses the observable relations between physical properties in terms of probabilities that depend on the specific context described by the "state" of a system. However, the laws of physics that emerge at the macroscopic…

Characterising causal structure is an activity that is ubiquitous across the sciences. Causal models are representational devices that can be used as oracles for future interventions, to predict how values of some variables will change in…

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of…

A modal logic is \emph{non-iterative} if it can be defined by axioms that do not nest modal operators, and \emph{rank-1} if additionally all propositional variables in axioms are in scope of a modal operator. It is known that every…

Quantum theory's irreducible empirical core is a probability calculus. While it presupposes the events to which (and on the basis of which) it serves to assign probabilities, and therefore cannot account for their occurrence, it has to be…

In this paper, following an elementary line of thought which somewhat differs from the usual one, we prove once more that any deterministic theory predictively equivalent to quantum mechanics unavoidably exhibits a contextual character. The…

Canonical methods of quasiclassical dynamics make it possible to go beyond a strict background approximation for cosmological perturbations by including independent fields such as correlation degrees of freedom. New models are introduced…

A general classical theorem is presented according to which all invariant relations among the space time metric scalars, when turned into functions on the Phase Space of full Pure Gravity (using the Canonical Equations of motion), become…

A characteristical property of a classical physical theory is that the observables are real functions taking an exact outcome on every (pure) state; in a quantum theory, at the contrary, a given observable on a given state can take several…

The general uncertainty principle applied to gravity can be implemented as a set of modified Poisson brackets in the canonical formalism. As such, the theory is not canonical and the resulting equations of motion do not lead to a covariant…

Application of the standard canonical quantization rules of quantum field theory to macroscopic electromagnetism has encountered obstacles due to material dispersion and absorption. This has led to a phenomenological approach to macroscopic…

If a higher derivative theory arises from a transformation of variables that involves time derivatives, a tailor-made Hamiltonian formulation is shown to exist. The details and advantages of this elegant Hamiltonian formulation, which…

We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a canonical model construction obtain completeness with respect to descriptive conditional frames, and then introducing the…

We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.

The hidden-variable question is whether or not various properties --- randomness or correlation, for example --- that are observed in the outcomes of an experiment can be explained via introduction of extra (hidden) variables which are…

Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic…

This is the first of a series of papers in which a new formulation of quantum theory is developed for totally constrained systems, that is, canonical systems in which the hamiltonian is written as a linear combination of constraints…

Whereas the entropy of any deterministic classical system described by a principle of least action is zero, one can assign a "quantum information" to quantum mechanical degree of freedom equal to Hausdorff area of the deviation from a…

Two examples of the situation when the classical observables should be described by a noncommutative probability space are investigated. Possible experimental approach to find quantum-like correlations for classical disordered systems is…

We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame. As a consequence we…