13/10/2006, 16:30 — 17:30 — Room P3.10, Mathematics Building
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.