Logic of Predicates Versus 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
|
|
|
Logic of Predicates Versus Linear Logic
|
| Id. |
41678376 |
| Idioma |
inglés
|
| Titulo |
Logic of Predicates Versus Linear Logic |
| Autor(es) |
Marek A. Bednarczyk
|
| Localización |
http://citeseer.ist.psu.edu/243260.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper aims at supporting the same idea. Our justification of the claim is, however,
quite different from the one envisaged by Girard. The latter, cf. [11], is proof-theoretic in
nature. Firstly, every sequent of classical, resp., intuitionistic, logic is translated into a sequent
of commutative linear logic with exponentials. Then one shows that the former can be proved
classically, resp., intuitionistically, iff its translation can be proved linearly.
Here it is shown that every theory of classical logic of predicates with equality lives in
a sufficiently rich theory built over a non-commutiative intuitionistic substructural logic: the
logic of predicates with explicit substitution. This perspective does not require to call upon
|
| Tipo |
ps
|
| Palabras clave |
Marek A. Bednarczyk Logic of Predicates Versus 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] ftp://ftp.ipipan.gda.pl/marek/embed.ps.gz
[References] oai:CiteSeerPSU:444986
[References] oai:CiteSeerPSU:43498
[References] oai:CiteSeerPSU:83293
[References] oai:CiteSeerPSU:492072
|
| 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.
|
|
|
|
