IOS Press Strong Normalisation of Cut-Elimination in Classical Logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
IOS Press Strong Normalisation of Cut-Elimination in Classical Logic
|
| Id. |
48020306 |
| Idioma |
inglés
|
| Titulo |
IOS Press Strong Normalisation of Cut-Elimination in Classical Logic |
| Autor(es) |
C. Urban
Marseille France
G. M. Bierman
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.9433
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive than previous strongly normalising cut-elimination procedures. In comparison, for example, with works by Dragalin and Danos et al., our procedure requires no special annotations on formulae and allows cut-rules to pass over other cut-rules. In order to adapt the notion of symmetric reducibility candidates for proving the strong normalisation property, we introduce a novel term assignment for sequent proofs of classical logic and formalise cut-reductions as term rewriting rules.
|
| Tipo |
application/pdf
|
| Palabras clave |
Classical Logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www4.in.tum.de/~urbanc/Publications/fi-01.pdf
[References] 10.1.1.26.6893
[References] 10.1.1.43.6938
[References] 10.1.1.46.7895
[References] 10.1.1.37.8903
[References] 10.1.1.40.173
[References] 10.1.1.132.1052
[References] 10.1.1.48.5593
[References] 10.1.1.10.9711
[References] 10.1.1.44.7740
[References] 10.1.1.38.7773
|
| Fecha de contribución |
24-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
