A Brief Guide to Linear 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
|
|
|
A Brief Guide to Linear Logic
|
| Id. |
41743991 |
| Idioma |
inglés
|
| Titulo |
A Brief Guide to Linear Logic |
| Localización |
http://citeseer.ist.psu.edu/308850.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
An overview of linear logic is given, including an extensive bibliography
and a simple example of the close relationship between linear
logic and computation.
1 Overview
Linear logic, introduced by Girard [45], is a refinement of classical logic.
Linear logic is sometimes described as resource sensitive because it provides
an intrinsic and natural accounting of resources. This is indicated by the
fact that in linear logic, two assumptions of a formula A are distinguished
from a single assumption of A. Informally, on the level of basic intuition, one
might say that classical logic is about truth, that intuitionistic logic is about
construction of proofs, and that linear logic is about process states, events,
or resources, which must be carefully accounted for.
A convenient way to present the syntax of linear logic is by modifying the
traditional Gentzen-style sequent calculus axiomatization of classical logic,
andre@cis.upenn.edu. Research partially supported by NSF Grant CCR-91-02...
|
| Tipo |
ps
|
| Palabras clave |
A Brief Guide to Linear 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://www.dfki.uni-sb.de/vse/staff/mantel/SeminarAdaequatheit/scedrov90_briefguide.ps.gz
[References] oai:CiteSeerPSU:504182
[References] oai:CiteSeerPSU:507023
[References] oai:CiteSeerPSU:465539
[References] oai:CiteSeerPSU:445876
[References] oai:CiteSeerPSU:445987
[References] oai:CiteSeerPSU:103540
[References] oai:CiteSeerPSU:111930
[References] oai:CiteSeerPSU:691510
[References] oai:CiteSeerPSU:78149
[References] oai:CiteSeerPSU:161865
[References] oai:CiteSeerPSU:75332
[References] oai:CiteSeerPSU:712083
[References] oai:CiteSeerPSU:712083
[References] oai:CiteSeerPSU:103790
[References] oai:CiteSeerPSU:111118
[References] oai:CiteSeerPSU:35654
[References] oai:CiteSeerPSU:371528
[References] oai:CiteSeerPSU:142326
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
