PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)
AUTOR(ES)
NAVARRO MENA, VIDAL HUMBERTO
FONTE
Manuscrito
DATA DE PUBLICAÇÃO
06/10/2015
RESUMO
Abstract The present article has for objective to present an alternative reconstruction of Concept of Structure, motivated by the articles (1) and (3), as an abstract generalization of what is a mathematical object. First, its construction is presented, that is related to the Type Theory and Order in Logic. Which give us a context for properties and several interesting examples. Secondly, we will proceed towards a concrete semantic for analysing structures and letting us operate in them. Thus we are able to know "what itXB is true in it". Results of order and individuals reduction are presented through our construction. In the end, we formalized the discussions referred completely in our Type Theory.
Documentos Relacionados
- Una nueva especie de Connarus (Connaraceae) para Costa Rica
- 27. Una caricia que después no reclame amor
- O sujeito n(d)a saúde coletiva e pós-modernismo
- Una nueva teoría social para América Latina
- Ramulosis (Colletotrichum gossyppii var. cephalosporioides Costa) over conventional and direct sowing related to microclimate, growth and the development of the cotton-crop