Weakly complete axiomatization of exogenous quantum propositional logic

Paulo Mateus, Amílcar Sernadas. Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput., 204(5):771-794, 2006. [doi]

Abstract

Abstract is missing.