Title: Completeness Theory for Propositional Logics