Loading...

A Gentzen-style axiomatization for basic predicate calculus

Aghaei, M ; Sharif University of Technology | 2003

129 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/s001530100132
  3. Publisher: 2003
  4. Abstract:
  5. We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated
  6. Keywords:
  7. Basic predicate calculus ; Cut elimination ; Sequent
  8. Source: Archive for Mathematical Logic ; Volume 42, Issue 3 , 2003 , Pages 245-259 ; 09335846 (ISSN)
  9. URL: https://link.springer.com/article/10.1007/s001530100132