Related papers: Differential structure of Greechie logics
In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to…
Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We…
We outline the recent classification of differential structures for all main classes of quantum groups. We also outline the algebraic notion of `quantum manifold' and `quantum Riemannian manifold' based on quantum group principal bundles, a…
A constructive approach to differential calculus on quantum principal bundles is presented. The calculus on the bundle is built in an intrinsic manner, starting from given graded (differential) *-algebras representing horizontal forms on…
A theory of principal bundles possessing quantum structure groups and classical base manifolds is presented. Structural analysis of such quantum principal bundles is performed. A differential calculus is constructed, combining differential…
The central structure in various versions of noncommutative geometry is a differential calculus on an associative algebra. This is an analogue of the calculus of differential forms on a manifold. In this short review we collect examples of…
Classical mechanics can be formulated using a symplectic structure on classical phase space, while quantum mechanics requires a complex-differentiable structure on that same space. Complex-differentiable structures on a given real manifold…
A new framework for noncommutative complex geometry on quantum homogeneous spaces is introduced. The main ingredients used are covariant differential calculi and Takeuchi's categorical equivalence for faithfully flat quantum homogeneous…
A method is proposed for defining an arbitrary number of differential calculi over a given noncommutative associative algebra. As an example the generalized quantum plane is studied. It is found that there is a strong correlation, but not a…
At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would…
The quantum differential equations can be regarded as examples of equations with certain universal properties which are of wider interest beyond quantum cohomology itself. We present this point of view as part of a framework which…
In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general…
We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space. We give an equivalent proof for the classical…
We sharpen a recent observation by Tim Maudlin: differential calculus is a natural language for physics only if additional structure, like the definition of a Hodge dual or a metric, is given; but the discrete version of this calculus…
It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and…
We survey several problems related to logical aspects of quantum structures. In particular, we consider problems related to completions, decidability and axiomatizability, and embedding problems. The historical development is described, as…
We study mirror symmetry (A-side vs B-side) in the framework of quantum differential systems. We focuse on the logarithmic and non-resonant case, which describes the geometric situation. We show that quantum differential systems provide a…
A class of differential calculi is explored which is determined by a set of automorphisms of the underlying associative algebra. Several examples are presented. In particular, differential calculi on the quantum plane, the $h$-deformed…
The non-commutative differential calculus on the quantum groups $SL_q(N)$ is constructed. The quantum external algebra proposed contains the same number of generators as in the classical case. The exterior derivative defined in the…