Ordered Linear Logic and Applications
|
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
|
|
|
Ordered Linear Logic and Applications
|
| Id. |
47189291 |
| Idioma |
inglés
|
| Titulo |
Ordered Linear Logic and Applications |
| Autor(es) |
Jeff Polakow
Harper John Reynolds
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.2862
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This work is dedicated to my parents. Acknowledgments Firstly, and foremost, I would like to thank my principal advisor, Frank Pfenning, for his patience with me, and for teaching me most of what I know about logic and type theory. I would also like to acknowledge some useful discussions with Kevin Watkins which led me to simplify some of this work. Finally, I would like to thank my other advisor, John Reynolds, for all his kindness and support over the last five years. Abstract This thesis introduces a new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and ordered hypotheses. The logic conservatively extends (intuitionistic) linear logic, which contains both unrestricted and linear hypotheses, with a notion of ordered hypotheses. Ordered hypotheses must be used exactly once, subject to the order in which they were assumed (i.e., their order cannot be changed during the course of a derivation). This ordering constraint allows for logical representations of simple data structures such as stacks and queues. We construct ordered linear logic in the style of Martin-L"of from the basic notion of a hypothetical judgement. We then show normalization for the system by constructing a sequent calculus presentation and proving cut-elimination of the sequent system.
|
| Tipo |
application/postscript
|
| Palabras clave |
ordered linear 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/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www-2.cs.cmu.edu/~jpolakow/diss.ps
[References] 10.1.1.21.5854
[References] 10.1.1.26.4391
[References] 10.1.1.105.9987
[References] 10.1.1.28.2136
[References] 10.1.1.54.8958
[References] 10.1.1.43.4232
[References] 10.1.1.25.1142
[References] 10.1.1.40.3910
[References] 10.1.1.21.1152
[References] 10.1.1.27.4742
[References] 10.1.1.19.7145
[References] 10.1.1.40.173
[References] 10.1.1.37.8903
[References] 10.1.1.41.1389
[References] 10.1.1.135.1566
[References] 10.1.1.40.5019
[References] 10.1.1.47.2354
[References] 10.1.1.36.5390
[References] 10.1.1.14.6010
[References] 10.1.1.51.7430
[References] 10.1.1.40.5143
[References] 10.1.1.36.5486
[References] 10.1.1.37.6716
[References] 10.1.1.23.4845
[References] 10.1.1.30.342
[References] 10.1.1.16.2798
[References] 10.1.1.13.7100
[References] 10.1.1.13.3137
[References] 10.1.1.15.9315
[References] 10.1.1.21.1295
[References] 10.1.1.4.5839
[References] 10.1.1.32.5017
[References] 10.1.1.23.1508
[References] 10.1.1.32.9015
[References] 10.1.1.10.5752
[References] 10.1.1.10.2006
[References] 10.1.1.4.4248
[References] 10.1.1.10.769
[References] 10.1.1.13.2589
[References] 10.1.1.13.3137
[References] 10.1.1.113.2077
[References] 10.1.1.83.2917
[References] 10.1.1.14.2431
[References] 10.1.1.57.4489
[References] 10.1.1.59.1132
[References] 10.1.1.63.616
[References] 10.1.1.141.6868
[References] 10.1.1.70.2639
[References] 10.1.1.90.7121
[References] 10.1.1.93.3162
[References] 10.1.1.93.7628
[References] 10.1.1.121.2608
[References] 10.1.1.129.5563
[References] 10.1.1.130.5805
[References] 10.1.1.132.2948
[References] 10.1.1.136.5369
[References] 10.1.1.13.6275
[References] 10.1.1.6.9493
[References] 10.1.1.61.2093
|
| Fecha de contribución |
26-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
