Loading...
Reduction of provability logics to ?1-provability logics
Ardeshir, M ; Sharif University of Technology | 2015
100
Viewed
- Type of Document: Article
- DOI: 10.1093/jigpal/jzv031
- Publisher: Oxford University Press , 2015
- Abstract:
- 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
- Keywords:
- Peano arithmetic ; Provability logics
- Source: Logic Journal of the IGPL ; Volume 23, Issue 5 , 2015 , Pages 842-847 ; 13670751 (ISSN)
- URL: http://jigpal.oxfordjournals.org/content/23/5/842