Characterization of quantum states in predicative logic

We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.Comment: 14 pages, Boston, IQSA10, to appea

Why you should not add power-set to Martin-Lof intuitionistic set theory

Biblioteca Centrale CNR / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Categorical models for intuitionistic and linear type theory

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(00-3) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Relating categorial semantics for institutional linear logic

Revised edition of July 2001 originalAvailable from British Library Document Supply Centre-DSC:8092.7029(01-7) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo