Semántica categórica para subexponenciales en SELL
La semántica categórica ha permitido establecer de forma pre- cisa y formal el significado de los términos y conectivos de distintas lógicas. En particular, los trabajos de distintos autores empezando por de Paiva y Hyland [3] han permitido abordar desde el enfoque categórico la semántica de la lógi...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad Industrial de Santander
2014-01-01
|
| Series: | Revista Integración |
| Online Access: | http://www.redalyc.org/articulo.oa?id=327031216004 |
| Summary: | La semántica categórica ha permitido establecer de forma pre- cisa y formal el significado de los términos y conectivos de distintas lógicas. En particular, los trabajos de distintos autores empezando por de Paiva y Hyland [3] han permitido abordar desde el enfoque categórico la semántica de la lógica lineal, tanto clásica como intuicionista. Uno de los aspectos más relevantes consiste en intentar dar una interpretación categórica al operador exponencial !. Mellies [11] y Bierman [4] finalmente han mostrado que esta interpretación corresponde a un composición entre adjuntos monoidales. Con la aparición de SELL, ahora se cuenta con una familia de subexponenciales ajustados dentro de una estructura de preorden. Lo que se pretende en este trabajo es obtener una interpretación categórica para esta familia de subex- ponenciales, inspirados en la misma noción de adjuntos monoidales, pero que respete la estructura de preorden asignada para la familia de exponenciales. |
|---|---|
| ISSN: | 0120-419X 2145-8472 |