Sciweavers

Share
IANDC
2006

Weakly complete axiomatization of exogenous quantum propositional logic

9 years 1 months ago
Weakly complete axiomatization of exogenous quantum propositional logic
A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical reasoning. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions.
Paulo Mateus, Amílcar Sernadas
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where IANDC
Authors Paulo Mateus, Amílcar Sernadas
Comments (0)
books