Location of Repository

A note on extensions: admissible rules via semantics

By Jeroen Goudsmit

Abstract

Any intermediate logic with the disjunction property admits the Visser rules if and only if it has the extension property. This equivalence restricts nicely to the extension property up to n. In this paper we demonstrate that the same goes even when omitting the rule ex falso quod libet, that is, working over minimal rather than intuitionistic logic. We lay the groundwork for providing a basis of admissibility for minimal logic, and tie the admissibility of the Mints-Skura rule to the extension property in a stratified manner

Topics: Wijsbegeerte, admissible rules, minimal logic, disjunction property, extensions of Kripke models
Year: 2012
OAI identifier: oai:dspace.library.uu.nl:1874/255154
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.