Related papers: The fuzzy bit
We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a…
We consider the geometrization of quantum mechanics. We then focus on the pull-back of the Fubini-Study metric tensor field from the projective Hibert space to the orbits of the local unitary groups. An inner product on these tensor fields…
In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations…
In this paper, we reveal some relations between fuzzy logic and quantum logic, and mainly study the partial residuated implications (PRIs) derived from partial triangular norms (partial t-norms) and partial residuated lattices (PRLs), and…
In this paper, we introduce the notion of fuzzy soft numbers. Here defined fuzzy soft number and four arithmetic operations $ \tilde{+}, \tilde{-}, \tilde{\times}, \tilde{\div} $ and related properties. Also introduce Hausdorff distance,…
There is an increasing interest in the role of macroscopic environments to our understanding of the basics of quantum theory. The knowledge of the implications of the quantum theory to other theories, especially to the statistical mechanics…
In this paper, we introduce a fundamental framework to create a bridge between Probability Theory and Fuzzy Logic. Indeed, our theory formulates a random experiment of selecting crisp elements with the criterion of having a certain fuzzy…
The emphasis is made on the juxtaposition of (quantum~theorem) proving versus quantum (theorem~proving). The logical contents of verification of the statements concerning quantum systems is outlined. The Zittereingang (trembling input)…
Quantum computation and quantum communication are expected to provide users with capabilities inaccessible by classical physics. However, scalability to larger systems with many qubits is challenging. One solution is to develop a quantum…
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…
The Hermiticity condition in quantum mechanics required for the characterisation of (a) physical observables and (b) generators of unitary motions can be relaxed into a wider class of operators whose eigenvalues are real and whose…
This chapter is offered as a contribution to the logic of down below. We attempt to demonstrate that the nature of human agency necessitates that there actually be such a logic. The ensuing sections develop the suggestion that cognition…
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…
We deal with solutions of classical linear equations ax=b and ya=b, applying a particular lattice valued fuzzy technique. Our framework is a structure with a binary operation (a groupoid), equipped with a fuzzy equality. We call it a fuzzy…
Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. von Neumann and K. Husimi. However, this logic does not…
Weaver has recently defined the notion of a quantum relation on a von Neumann algebra. We demonstrate that the corresponding notion of a quantum function between two von Neumann algebras coincides with that of a normal unital…
Quantum Fourier transform (QFT) is a widely used building block for quantum algorithms, whose scalable implementation is challenging in experiments. Here, we propose a protocol of quadratic quantum Fourier transform (QQFT), considering cold…
Pedagogical introduction into the problem of the mathematical description of the quantum correlation (entanglement) of composite quantum systems is represented. The notion is substantiated about the fact that the conventional algorithm of…
In this paper we present a survey of the use of differential geometric formalisms to describe Quantum Mechanics. We analyze Schr\"odinger framework from this perspective and provide a description of the Weyl-Wigner construction. Finally,…
In this paper we deal with a new approach to probabilistic reasoning in a logical framework. Nearly almost all logics of probability that have been proposed in the literature are based on classical two-valued logic. After making clear the…