Loading...

Reduction of provability logics to ?1-provability logics

Ardeshir, M ; Sharif University of Technology | 2015

100 Viewed
  1. Type of Document: Article
  2. DOI: 10.1093/jigpal/jzv031
  3. Publisher: Oxford University Press , 2015
  4. Abstract:
  5. We show that the provability logic of. PA,. GL and the truth provability logic, i.e. the provability logic of. PA relative to the standard model N, GLS are reducible to their. Σ Σ1-provability logics,. GLV and. GLSV, respectively, by only propositional substitutions
  6. Keywords:
  7. Peano arithmetic ; Provability logics
  8. Source: Logic Journal of the IGPL ; Volume 23, Issue 5 , 2015 , Pages 842-847 ; 13670751 (ISSN)
  9. URL: http://jigpal.oxfordjournals.org/content/23/5/842