Completeness Theory for Propositional Logics by Witold A. Pogorzelski & Piotr Wojtylak