PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA).
| Autor: | VIDAL HUMBERTO NAVARRO MENA |
|---|---|
| Jazyk: | English<br />Spanish; Castilian<br />Portuguese |
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | Manuscrito, Iss 0, Pp 0-0 (2015) |
| Druh dokumentu: | article |
| ISSN: | 2317-630X 0100-6045 |
| DOI: | 10.1590/0100-6045.2015.V38N2.VHNM |
| Popis: | ResumenEl articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|