Pogorzelski W.A. Completeness theory for propositional logics / W. A. Pogorzelski, P. Wojtylak, 2008 r=on-line