PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA).
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, d...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Estadual de Campinas
2015-01-01
|
| Series: | Manuscrito |
| Subjects: | |
| Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015005002002&lng=en&tlng=en |
| _version_ | 1818251287472373760 |
|---|---|
| author | VIDAL HUMBERTO NAVARRO MENA |
| author_facet | VIDAL HUMBERTO NAVARRO MENA |
| author_sort | VIDAL HUMBERTO NAVARRO MENA |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-12T16:05:53Z |
| format | Article |
| id | doaj.art-314460fe00a649b6b9e6723b4c28ccf6 |
| institution | Directory Open Access Journal |
| issn | 2317-630X |
| language | English |
| last_indexed | 2024-12-12T16:05:53Z |
| publishDate | 2015-01-01 |
| publisher | Universidade Estadual de Campinas |
| record_format | Article |
| series | Manuscrito |
| spelling | doaj.art-314460fe00a649b6b9e6723b4c28ccf62022-12-22T00:19:18ZengUniversidade Estadual de CampinasManuscrito2317-630X2015-01-0100010.1590/0100-6045.2015.V38N2.VHNMS0100-60452015005002002PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA).VIDAL HUMBERTO NAVARRO MENAResumenEl 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.http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015005002002&lng=en&tlng=enEstructurasModelosSemántica de EstructurasLógica de orden mayorNewton Da Costa |
| spellingShingle | VIDAL HUMBERTO NAVARRO MENA PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA). Manuscrito Estructuras Modelos Semántica de Estructuras Lógica de orden mayor Newton Da Costa |
| title | PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA). |
| title_full | PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA). |
| title_fullStr | PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA). |
| title_full_unstemmed | PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA). |
| title_short | PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA). |
| title_sort | prolegomenos para una teoria formal de estructuras despues de n da costa |
| topic | Estructuras Modelos Semántica de Estructuras Lógica de orden mayor Newton Da Costa |
| url | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015005002002&lng=en&tlng=en |
| work_keys_str_mv | AT vidalhumbertonavarromena prolegomenosparaunateoriaformaldeestructurasdespuesdendacosta |