Download PDFOpen PDF in browser

Proof rules for the dialogical logic N

6 pagesPublished: March 25, 2013

Abstract

We outline the beginnings of a proof-theory for the dialogical logic N introduced in [Alama & Uckelman, 2010].

Keyphrases: axiom, dialogical logic, dialogue game, proof theory

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 1-6.

BibTeX entry
@inproceedings{LPAR-17-short:Proof_rules_dialogical_logic,
  author    = {Jesse Alama and Sara L. Uckelman},
  title     = {Proof rules for the dialogical logic N},
  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üller},
  series    = {EPiC Series in Computing},
  volume    = {13},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Dk},
  doi       = {10.29007/843r},
  pages     = {1-6},
  year      = {2013}}
Download PDFOpen PDF in browser