Karel Chvalovský, Petr Cintula. Note on Deduction Theorems in Contraction-Free Logics. In Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller, editors, Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. Volume 13 of EPiC Series, pages 26-29, EasyChair, 2010. [doi]
Abstract is missing.