Weakly complete axiomatization of exogenous quantum propositional logic.

Paulo Mateus Amílcar Sernadas

Published in: Inf. Comput. (2006)

Keyphrases

propositional logic
complete axiomatization
first order logic
belief revision
quantified boolean formulae
possibilistic logic
lattice theory
inclusion dependencies
davis putnam
satisfiability testing
logic programs
propositional formulas
horn contraction