Seminário de Computação e Informação Quântica 

27/02/2004, 15:00 — 16:00 — Sala P4.35, Pavilhão de Matemática
Amílcar Sernadas, Instituto Superior Técnico

Towards exogenous quantum logic

A sketch is made of a new quantum logic endowed with exogenous semantics. We start by presenting the exogenous approach (classical models as outcomes in a probability space) to probabilistic logic and then show how the exogenous idea (quantum superposition of classical models) can be used to devise a suitable quantum propositional logic. The resulting logic supports classical, quantum and probabilistic reasoning. Future work towards a dynamic quantum logic (unitary transformations as transitions) is also discussed. The talk reports ongoing joint work with P. Mateus, A. Pacheco and C. Sernadas.