Weakly complete axiomatization of exogenous quantum propositional logic
Logic
2016-01-14 v1 Logic in Computer Science
Quantum Physics
Abstract
A weakly complete finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions.
Cite
@article{arxiv.math/0503453,
title = {Weakly complete axiomatization of exogenous quantum propositional logic},
author = {P. Mateus and A. Sernadas},
journal= {arXiv preprint arXiv:math/0503453},
year = {2016}
}
Comments
28 pages