NewEvery arXiv paper, its researchers & institutions — mapped.
paper

Weakly complete axiomatization of exogenous quantum propositional logic

arXiv:math/0503453 · doi:10.1016/j.ic.2006.02.001

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.

28 pages