Electronic Resource
Springer
Archive for mathematical logic
30 (1990), S. 113-123
ISSN:
1432-0665
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in a separate continuation of the present paper).
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01634981
Permalink
|
Location |
Call Number |
Expected |
Availability |