๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Note on Interpreting Theories

โœ Scribed by Michael D. Resnik


Book ID
125256313
Publisher
John Wiley and Sons
Year
1974
Tongue
English
Weight
606 KB
Volume
8
Category
Article
ISSN
0029-4624

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A note on the interpretability logic of
โœ Maarten Rijke ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability

A note on closed theories
โœ Henk Zandvoort ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 459 KB