Quantifiers for quantum logic - Mathematics > LogicReportar como inadecuado

Quantifiers for quantum logic - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We consider categorical logic on the category of Hilbert spaces. Moregenerally, in fact, any pre-Hilbert category suffices. We characterise closedsubobjects, and prove that they form orthomodular lattices. This shows thatquantum logic is just an incarnation of categorical logic, enabling us toestablish an existential quantifier for quantum logic, and conclude that therecannot be a universal quantifier.

Autor: Chris Heunen

Fuente: https://arxiv.org/

Documentos relacionados