About Opposition and Duality in Paraconsistent Type Theory
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding ‘opposite types’) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type constructor can be viewed as an involution operation that t...
- Autores:
-
Agudelo Agudelo, Juan Carlos
Sicard Ramírez, Andrés
- Tipo de recurso:
- Article of investigation
- Fecha de publicación:
- 2021
- Institución:
- Universidad de Antioquia
- Repositorio:
- Repositorio UdeA
- Idioma:
- eng
- OAI Identifier:
- oai:bibliotecadigital.udea.edu.co:10495/46921
- Acceso en línea:
- https://hdl.handle.net/10495/46921
- Palabra clave:
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by/4.0/
| Summary: | A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding ‘opposite types’) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type constructor can be viewed as an involution operation that transforms each type into its dual type. Moreover, intuitive interpretations of opposite and co-function types under different interpretations of types are discussed. |
|---|