Download PDFOpen PDF in browserNote on Deduction Theorems in Contraction-Free Logics4 pages•Published: March 25, 2013AbstractIn this short paper we present a finer analysis of the variants of Local Deduction Theorem in contraction-free logics. We define some natural generalisations called Implicational Deduction Theorems and study their basic properties. The hierarchy of classes of logics defined by these theorems is presented.Keyphrases: bci logic, contraction free logics, local deduction theorems In: Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., vol 13, pages 26-29.
|