A new sequent calculus for automated proof search

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)4977-4984
Number of pages8
JournalApplied Mathematical Sciences
Volume8
Issue number97-100
DOIs
Publication statusPublished - 1 Jan 2014

Keywords

  • Automated proof search
  • Natural deduction
  • Proof theory
  • Sequent calculus

ASJC Scopus subject areas

  • Applied Mathematics

Cite this