Completeness Theory for Propositional Logics - Pogorzelski, Witold A.; Wojtylak, Piotr (Birkhäuser Basel, 2008)