Buscar
Mostrando ítems 11-20 de 252
Non-reflexive Logical Foundation for Quantum Mechanics
(Springer, 2014-11)
On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their ...
Physical Properties as Modal Operators in the Topos Approach to Quantum Mechanics
(Springer, 2014-12)
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned ...
A discussion on particle number and quantum indistinguishability
(Springer, 2007-12)
The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schrödinger pointed out in the early steps of the theory. Regarding this fact, some ...
Semilattices global valuations in the topos approach to quantum mechanics
(Springer, 2017-12)
In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum ...
The Formalism of Generalized Contexts and Decay Processes
(Springer, 2013-04)
The formalism of generalized contexts for quantum histories is used to investigatethe possibility to consider the survival probability as the probability of no decay property at a given time conditional to no decay property ...
Neurogenesis Based in Quantum Mechanics Governed by Ions Interaction and Coherent States
(IEEE, 2022)
Under the assumption that neurogenesis is a fully random process then some laws such as the ones belonging to quantum mechanics might be applied. In this paper, it is assumed that along the process of creation of new ...
Typing Quantum Superpositions and Measurement
(Springer, 2017-12)
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We ...
Logical structures underlying quantum computing
(Molecular Diversity Preservation International, 2019-01)
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.
Adaptive Integer Linear Programming Model for Optimal Qubit Permutation
(2021-01-01)
The architecture of most current quantum computers limits the pairs of qubits that can interact. That is, not all possible CNOT gates are directly available and their implementation requires additional gates. Hence the ...