Interpolation and the Interpretability Logic of PA
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Interpolation and the Interpretability Logic of PA
|
| Id. |
6353998 |
| Idioma |
inglés
|
| Titulo |
Interpolation and the Interpretability Logic of PA |
| Autor(es) |
Goris, Evan
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1153858645
Notre Dame J. Formal Logic 47, no. 2 (2006), 179-195
doi:10.1305/ndjfl/1153858645
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper we will be concerned with the interpretability logic of PA
and in particular with the fact that this logic, which is denoted by ILM,
does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express ??-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for ??-ness, which might give us a logic with the interpolation property. We will formulate this extension, give an axiomatization which is modally complete and arithmetically complete (although for proofs of these theorems we refer to an earlier paper), and investigate interpolation. We show that this logic still does not have the interpolation property.
|
| Tipo |
application/pdf
|
| Palabras clave |
provability logic
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 2006 Duke University Press |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
21-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
