Buscar
Mostrando ítems 11-20 de 248
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 ...
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 ...
FUNCTION OF CLASSICAL-LOGIC IN QUANTUM LOGIC MECHANICS
(CriticaMexico CityMéxico, 1977)
Paraconsistent Machines and their Relation to Quantum Computing
(Oxford Univ PressOxfordInglaterra, 2010)