Related papers: Birkhoff style proof systems for hybrid-dynamic qu…
The quantum logic program originated in a 1936 article by G. Birkhoff and J. von Neumann. This program is generally disregarded due to no-go theorems restricting the existence of the tensor product of elementary quantum logics and, above…
We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification over a type of possible worlds. We present simple…
This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also…
This paper introduces a model theory for resolution on Higher Order Hereditarily Harrop formulae (HOHH), the logic underlying the Lambda-Prolog programming language, and proves soundness and completeness of resolution. The semantics and the…
We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our framework is based on a many-sorted system of hybrid modal…
We consider a quantum system continuously monitored in time which in turn is coupled to an arbitrary dissipative classical system (diagonal reduced density matrix). The quantum and classical dynamics can modify each other, being described…
Recently, several hybrid approaches to quantum information emerged which utilize both continuous- and discrete-variable methods and resources at the same time. In this work, we investigate the bipartite hybrid entanglement between a…
The hybrid approach to quantum computation simultaneously utilizes both discrete and continuous variables which offers the advantage of higher density encoding and processing powers for the same physical resources. Trapped ions, with…
In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these…
A modern computer system, based on the von Neumann architecture, is a complicated system with several interactive modular parts. Quantum computing, as the most generic usage of quantum information, follows a hybrid architecture so far,…
We put forward a new take on the logic of quantum mechanics, following Schroedinger's point of view that it is composition which makes quantum theory what it is, rather than its particular propositional structure due to the existence of…
We present a consistent formalism to describe the dynamics of hybrid systems with mixed classical and quantum degrees of freedom. The probability function of the system, which, in general, will be a combination of the classical distribution…
A theoretical model of computation is proposed based on Lorentz quantum mechanics. Besides the standard qubits, this model has an additional bit, which we call hyperbolic bit (or hybit in short). A set of basic logical gates are constructed…
Hamiltonian theory of hybrid quantum-classical systems is used to study dynamics of the classical subsystem coupled to different types of quantum systems. It is shown that the qualitative properties of orbits of the classical subsystem…
The quantum mechanical formalism for position and momentum of a particle in a one dimensional cyclic lattice is constructively developed. Some mathematical features characteristic of the finite dimensional Hilbert space are compared with…
A concise and self-contained derivation of hybrid quantum-classical dynamics is given in terms of Markovian master equations. Many previously known results are re-derived, revised, some of them completed or corrected. Using as simple method…
Many practical engineering systems and their components have multiple performance levels and failure modes. If these systems form a monotonically increasing structure function (system model) with respect to the performance of their…
As has already been pointed out by Birkhoff and von Neumann, quantum logic can be formulated in terms of projective geometry. In three-dimensional Hilbert space, elementary logical propositions are associated with one-dimensional subspaces,…
The cognitive state of mind concerning a range of choices to be made can effectively be modelled in terms of an element of a high-dimensional Hilbert space. The dynamics of the state of mind resulting form information acquisition is…
The Kirkwood-Dirac distribution, serving as an informationally complete representation of a quantum state, has recently garnered increasing attention. We investigate the Kirkwood-Dirac classicality with respect to mutually unbiased bases.…