Completeness Theory for Propositional Logics - Pogorzelski, Witold; Andréka, Hajnal; Beziau, Jean-Yves; Pogorzelski, Witold A.; Wojtylak, Piotr; Burgin, Mark (Springer Basel AG, 2008)