The logic of interactive Turing reduction
|
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
|
|
|
The logic of interactive Turing reduction
|
| Id. |
22158893 |
| Idioma |
inglés
|
| Titulo |
The logic of interactive Turing reduction |
| Autor(es) |
Japaridze, Giorgi
|
| Localización |
http://projecteuclid.org/euclid.jsl/1174668394
J. Symbolic Logic 72, iss. 1 (2007), 243-276
doi:10.2178/jsl/1174668394
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic
calculus with respect to the semantics of computability logic, which understands intuitionistic
implication as interactive algorithmic reduction. This concept more precisely, the associated
concept of reducibility is a generalization of Turing reducibility from the traditional,
input/output sorts of problems to computational tasks of arbitrary degrees of interactivity.
|
| Tipo |
application/pdf
|
| Palabras clave |
Computability 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 2007 Association for Symbolic Logic |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
19-sep-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
