Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Proof of the weak completeness of EQPL

Abstract
After a brief review of the language and semantics of EQPL (exogenous quantum propositional logic), a weak complete axiomatization is presented. The proof of completeness is achieved extending the Fagin-Halpern-Megiddo technique originally proposed in the context of probabilistic logic. Joint work with P. Mateus.

Areas of interest
Logic and Computation

Speaker(s)
Amílcar Sernadas (IST, Lisboa)

Date
March 15, 2005

Time
14.30

Room
5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia