相关论文: QL(C^n) determines n
We study $Q$-tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.
Based on ideas of quantum theory of open systems we propose the consistent approach to the formulation of logic of plausible propositions. To this end we associate with every plausible proposition diagonal matrix of its likelihood and…
For the BGG category of $\mathfrak{q}(n)$-modules of half-integer weights, a Kazhdan-Lusztig conjecture \`a la Brundan is formulated in terms of categorical canonical basis of the $n$th tensor power of the natural representation of the…
The Tautological Lamination arises in holomorphic dynamics as a combinatorial model for the geometry of 1-dimensional slices of the Shift Locus. In each degree $q$ the tautological lamination defines an iterated sequence of partitions of…
For a 1+1 dimensional theory of gravity with torsion different approaches to the formulation of a quantum theory are presented. They are shown to lead to the same finite dimensional quantum system. Conceptual questions of quantum gravity…
An observable canonical form is formulated for the set of rational systems on a variety each of which is a single-input-single-output, affine in the input, and a minimal realization of its response map. The equivalence relation for the…
This is a comment on J. A. Barrett's article ``The Preferred-Basis Problem and the Quantum Mechanics of Everything'' in Brit. J. Phil. Sci. 56 (2005), which concerns theories postulating that certain quantum observables have determinate…
The concept of complementarity in combination with a non-Boolean calculus of propositions refers to a pivotal feature of quantum systems which has long been regarded as a key to their distinction from classical systems. But a non-Boolean…
Formalism of differential forms is developed for a variety of Quantum and noncommutative situations.
It is shown that G-up, the quantified propositional Goedel-Dummett logic based on the truth-values set V-up = {1 - 1/n : n >= 1} u {1}, is decidable. This result is obtained by reduction to Buechi's theory S1S. An alternative proof based on…
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the…
The operator and the functional formulations of the dynamics of constrained systems are explored for determining unambiguously the quantum Hamiltonian of a nonrelativistic particle in a curved space.
We present explicit formulae for q-exponentials on quantum spaces which could be of particular importance in physics, i.e. the q-deformed Minkowski-space and the q-deformed Euclidean space with two, three or four dimensions. Furthermore,…
Let $(U_n)_{n\geq 0}$ be a fixed linear recurrence sequence of integers with order at least two, and for any positive integer $\ell$, let $\ell \cdot 2^{\ell} + 1$ be a Cullen number. Recently in \cite{bmt}, generalized Cullen numbers in…
A formulation of quantum mechanics, which begins by postulating assertions for individual physical systems, is given. The statistical predictions of quantum mechanics for infinite ensembles are then derived from its assertions for…
The multi-valued quantum $j$-invariant in positive characteristic is studied at quadratic elements. For every quadratic $f$, an explicit expression for each of the values of $j^{\rm qt}(f)$ is given as a limit of rational functions of $f$.…
Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are…
This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language involving arbitrary polynomials over probability terms. While…
To each associative unitary finite-dimensional algebra over a normal base, we associative a canonical multiplicative function called its determinant. We give various properties of this construction, as well as applications to the topology…
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4. Although the method…