Skip to main content
Article thumbnail
Location of Repository

Propositional logics of closed and open substitutions over Heyting’s Arithmetic

By A. Visser

Abstract

In this note we compare propositional logics for closed substitutions and\ud propositional logics for open substitutions in constructive arithmetical\ud theories. We provide a strong example where these logics diverge in an\ud essential way. We prove that for Markov’s Arithmetic, i.e. Heyting’s\ud Arithmetic plus Markov’s principle plus Extended Church’s Thesis, the\ud logic of closed and the logic of open substitutions are the same

Topics: Wijsbegeerte
Year: 2005
OAI identifier: oai:dspace.library.uu.nl:1874/26751
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.