Download PDFOpen PDF in browser

Note on Deduction Theorems in Contraction-Free Logics

4 pagesPublished: March 25, 2013

Abstract

In 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

Links:
BibTeX entry
@inproceedings{LPAR-17-short:Note_on_Deduction_Theorems,
  author    = {Karel Chvalovsk\textbackslash{}'y and Petr Cintula},
  title     = {Note on Deduction Theorems in Contraction-Free Logics},
  booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
  editor    = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Ferm\textbackslash{}"uller},
  series    = {EPiC Series in Computing},
  volume    = {13},
  pages     = {26--29},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/7V},
  doi       = {10.29007/c66c}}
Download PDFOpen PDF in browser