Skip to main content
Article thumbnail
Location of Repository

Closed fragments of provability logics of constructive theories

By A. Visser


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:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

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