Loading...

An introduction to basic arithmetic

Ardeshir, M ; Sharif University of Technology | 2008

171 Viewed
  1. Type of Document: Article
  2. DOI: 10.1093/jigpal/jzm013
  3. Publisher: Oxford University Press , 2008
  4. Abstract:
  5. We study Basic Arithmetic BA, which is the basic logic BQC equivalent of Heyting Arithmetic HA over intuitionistic logic IQC, and of Peano Arithmetic PA over classical logic CQC. It turns out that The Friedman translation is applicable to BA. Using this translation, we prove that BA is closed under a restricted form of the Markov rule. Moreover, it is proved that all nodes of a finite Kripke model of BA are classical models of Ι∃1+, a fragment of PA with Induction restricted to the formulas made up of ∃, ∧ and/or ∨. We also study an interesting extension of BQC, called EBQC, which is the extension by the axiom schema ⊤ → →. We show that this extension behaves very like to IQC, and the corresponding arithmetic, EBA shows similarities to HA. Mathematics Subject Classification: Primary 03F30; secondary 03F50. © The Author 2007. Published by Oxford University Press. All rights reserved
  6. Keywords:
  7. Kripke models ; Heyting Arithmetic ; Completeness ; Basic Logic ; Basic Arithmetic
  8. Source: Logic Journal of the IGPL ; Volume 16, Issue 1 , 2008 , Pages 1-13 ; 13670751 (ISSN)
  9. URL: https://academic.oup.com/jigpal/article/16/1/1/2896921