Two paradigms of logical computation in Affine Logic?
|
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
|
|
|
Two paradigms of logical computation in Affine Logic?
|
| Id. |
41825998 |
| Idioma |
inglés
|
| Titulo |
Two paradigms of logical computation in Affine Logic? |
| Autor(es) |
Affine Logic,G. Bellin,A Silvia Baraldini
|
| Localización |
http://citeseer.ist.psu.edu/390602.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We propose a notion of symmetric reduction for a system of proofnets
for Multiplicative Affine Logic (MAL + MIX) (namely, multiplicative
linear logic with unrestricted Weakening and Mix), related
to the "cross-cut" reduction in classical logic LK. We prove that such
a reduction has the strong normalization and the Church-Rosser properties.
On one hand, the usual asymmetric cut elimination procedure
in intuitionistic and linear logic is a form of "computation with garbage
collection", and the cancellation of irrelevant parts is uniquely determined
at any point of the process; such a paradigm can be applied to
classical and affine logic through any one of the several known translations
of classical logic into linear logic. On the other hand, our cut
elimination procedure suggest a paradigm of "computation without
garbage collection": the possibility of cancelling the irrelevant parts
of a proof-net without erasing the entire net is taken as one of the
correctness conditions...
|
| Tipo |
ps
|
| Palabras clave |
Affine Logic,G. Bellin,A Silvia Baraldini Two paradigms of logical computation in Affine Logic?
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://profs.sci.univr.it/~bellin/comp.ps
[References] oai:CiteSeerPSU:164765
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
