Skip to main content
Article thumbnail
Location of Repository

Closed fragments of provability logics of constructive theories

By A. Visser

Abstract

In this paper we give a new proof of the characterization of the closed\ud fragment of the provability logic of Heyting’s Arithmetic. We also provide\ud a characterization of the closed fragment of the provability logic of\ud Heyting’s Arithmetic plus Markov’s Principle and Heyting’s Arithmetic\ud plus Primitive Recursive Markov’s Principle

Topics: Wijsbegeerte, provability logic, constructive arithmetic
Year: 2007
OAI identifier: oai:dspace.library.uu.nl:1874/26717
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.