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

13/10/2006, 16:30 — 17:30 — Sala P3.10, Pavilhão de Matemática
Amílcar Sernadas, Instituto Superior Técnico

Towards exogenous quantum first-order logic

Based on the exogenous semantics approach to enriching logics, previously used to develop the exogenous propositional quantum logic, a novel exogenous quantum first-order logic (EQFOL) is presented. Predicates are used to represent families of quantum bits. A quantum interpretation structure includes a superposition of classical valuations according to the principles of the exogenous semantics approach. But, a pointed variation is needed to cope with a modality introduced for stating properties of omitting symbols. An axiomatization is proposed. Some examples are provided. Finally, the envisaged completeness result is discussed. Joint work with Jaime Ramos, Paulo Mateus and Mingsheng Ying.

Joint session with LC Seminar.