Automated Support for the Investigation of Paraconsistent and Other Logics

  • Agata Ciabattoni
  • Ori Lahav
  • Lara Spendier
  • Anna Zamansky
Conference paper

DOI: 10.1007/978-3-642-35722-0_9

Volume 7734 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Ciabattoni A., Lahav O., Spendier L., Zamansky A. (2013) Automated Support for the Investigation of Paraconsistent and Other Logics. In: Artemov S., Nerode A. (eds) Logical Foundations of Computer Science. LFCS 2013. Lecture Notes in Computer Science, vol 7734. Springer, Berlin, Heidelberg

Abstract

We automate the construction of analytic sequent calculi and effective semantics for a large class of logics formulated as Hilbert calculi. Our method applies to infinitely many logics, which include the family of paraconsistent C-systems, as well as to other logics for which neither analytic calculi nor suitable semantics have so far been available.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Agata Ciabattoni
    • 1
  • Ori Lahav
    • 2
  • Lara Spendier
    • 1
  • Anna Zamansky
    • 1
  1. 1.Vienna University of TechnologyAustria
  2. 2.Tel Aviv UniversityIsrael