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.

• Type: Journal
• Year: 2006
• Where: IANDC
• Authors: Paulo Mateus, Amílcar Sernadas
• Keywords: Finitary Axiomatization, IANDC 2006, Non Trivial Extension, Quantum Propositional Logic