Sabemos que las lógicas cuánticas son los sistemas lógicos más prominentes asociados a las retículas de subespacios de Hilbert cerrados. Sin embargo, ¿qué sucede si, siguiendo una perspectiva de computación cuántica, queremos asociar una lógica al proceso de medidas de registros cuánticos? Este artículo da respuesta a esta pregunta y, sorprendentemente, muestra que dicha lógica no es otra cosa que la lógica proposicional intuicionista estándar.