A Tableaux Calculus for Default Intuitionistic Logic

V. Cassano, R. Fervari, G. Hoffmann, C. Areces, and P. Castro. A Tableaux Calculus for Default Intuitionistic Logic. In Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 161–177, 2019.

Download

[pdf] 

Abstract

We build a Default Logic variant on Intuitionistic Propositional Logic and develop a sound, complete, and terminating, tableaux calculus for it. We also present an implementation of the calculus. We motivate and illustrate the technical elements of our work with examples.

BibTeX

@InCollection{Cassano2019a,
  author =       "V. Cassano and R. Fervari and G. Hoffmann and C.
                 Areces and P. Castro",
  booktitle =    "Automated Deduction - {CADE} 27 - 27th International
                 Conference on Automated Deduction, Natal, Brazil,
                 August 27-30, 2019, Proceedings",
  title =        "A Tableaux Calculus for Default Intuitionistic Logic",
  year =         "2019",
  pages =        "161--177",
  abstract =     "We build a Default Logic variant on Intuitionistic
                 Propositional Logic and develop a sound, complete, and
                 terminating, tableaux calculus for it. We also present
                 an implementation of the calculus. We motivate and
                 illustrate the technical elements of our work with
                 examples.",
  bibsource =    "dblp computer science bibliography, https://dblp.org",
  biburl =       "https://dblp.org/rec/conf/cade/CassanoFHAC19.bib",
  doi =          "10.1007/978-3-030-29436-6\_10",
  timestamp =    "Wed, 21 Aug 2019 13:45:44 +0200",
  URL =          "https://doi.org/10.1007/978-3-030-29436-6\_10",
  ISBN =         "978-3-030-29435-9",
}