𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An interpretation of Peano's logic

✍ Scribed by Evgeny A. Zaitsev

Publisher
Springer-Verlag
Year
1994
Tongue
English
Weight
1022 KB
Volume
46
Category
Article
ISSN
0003-9519

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Preservativity logic: An analogue of int
Preservativity logic: An analogue of interpretability logic for constructive theories
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 305 KB

## 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 disj

Logical problems of functional interpret
Logical problems of functional interpretations
✍ Justus Diller πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 135 KB

G odel interpreted Heyting arithmetic HA in a "logic-free" fragment T0 of his theory T of primitive recursive functionals of ΓΏnite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is di erent-in particular m

Operational interpretations of linear lo
Operational interpretations of linear logic
✍ David N. Turner; Philip Wadler πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 118 KB

Two di erent operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as being too ine cient. Alternatively,