✦ LIBER ✦
Preservativity logic: An analogue of interpretability logic for constructive theories
✍ Scribed by Rosalie Iemhoff
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 305 KB
- Volume
- 49
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.