Linear Logic complements Classical 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
|
|
|
Linear Logic complements Classical Logic
|
| Id. |
41513161 |
| Idioma |
inglés
|
| Titulo |
Linear Logic complements Classical Logic |
| Autor(es) |
Vaughan Pratt
|
| Localización |
http://citeseer.ist.psu.edu/79066.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Classical logic enforces the separation of individuals and predicates, linear logic draws them
together via interaction; these are not right-or-wrong alternatives but dual or complementary
logics. Linear logic is an incomplete realization of this duality. While its completion is not
essential for the development and maintenance of logic, it is crucial for its application. We
outline the "four-square" program for completing the connection, whose corners are set, function,
number, and arithmetic, and define ordinal Set, a bicomplete equational topos, meaning its
canonical isomorphisms are identities, including associativity of product.
1 A Postcard from the Edge
Hi, boss. Just took over source's shift.
Did you hear about the line and the dot?
What does she see in him? He's an impractical
bore, goes on forever. I know when to
start and stop.
I'm on the day shift these days, boss,
my two vertices do the night shift. When
they're sleeping they look real small, but
when they're on the job a...
|
| Tipo |
ps
|
| Palabras clave |
Vaughan Pratt Linear Logic complements Classical 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://boole.stanford.edu/pub/llcocl.ps.gz
[References] oai:CiteSeerPSU:149454
[References] oai:CiteSeerPSU:172409
[References] oai:CiteSeerPSU:57784
[References] oai:CiteSeerPSU:140363
|
| 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.
|
|
|
|
