Full Program »
Classical limit and quantum logicThe more common scheme to explain the classical limit of quantum mechanics includes decoherence, which removes from the state the interference terms classically inadmissible since embodying non-Booleanity. In this work we consider the classical limit from a logical viewpoint, as a quantum-to-Boolean transition. The aim is to open the door to a new study based on dynamical logics, that is, logics that change over time. In particular, we appeal to the notion of hybrid logics to describe semiclassical systems. Moreover, we consider systems with many characteristic decoherence times, whose sublattices of properties become distributive at different times.
CONICET-University of Buenos Aires