Completeness theory for propositional logics (2008)