INSTITUTO DE FISICA LA PLATA
Unidad Ejecutora - UE
congresos y reuniones científicas
Towards a dynamics for quantum logic
SEBASTIAN FORTIN; FEDERICO HOLIK
Conferencia; The 18th UK and European Conference on Foundations of Physics (FOUNDATIONS 2016); 2016
London School of Economics
The more common scheme for the classical limit of quantum mechanics includes quantum decoherence. This process eliminates interference terms of the density matrix that are classically inadmissible, since they prevent the use of a classical (Boolean) logic. Then, after decoherence, we obtain a state that can be interpreted as a classical state were we can apply Boolean logic. The jump from a quantum logic to a Boolean logic was studied many times but there are not too many works in which we can find the detail of this transition. In this work we study the quantum-Boolean transition of the logical properties of a system in the classical limit. This opens the door to a new study based om dynamical logics, that is, logics that change over time. In particular we appeal to the notion of hybrid logics for describing semiclassical systems such as electronic devices.