Tesis Doctoral
N-categorías un modelo categorial de la lógica
Autor/es | Riscos Fernández, Agustín |
Director | Laita de la Rica, Luis María |
Departamento | Universidad de Sevilla. Departamento de Álgebra |
Fecha de publicación | 1984 |
Fecha de depósito | 2015-04-16 |
Resumen | En el Capítulo I introducimos el primero de los conceptos básicos que presentamos: Las N-categorías.El Capítulo II está dedicado a profundizar en la ... En el Capítulo III se desarrolla la interpretación N-categorial del ... En el Capítulo I introducimos el primero de los conceptos básicos que presentamos: Las N-categorías.El Capítulo II está dedicado a profundizar en la ... En el Capítulo III se desarrolla la interpretación N-categorial del Cálculo de Proposiciones, y de la consistencia y completitud sintácticas. Comenzamos estudiando las sub-N-categorías EP.En el Capítulo IV, caracterizamos N-categorialmente la lógica de las funciones proposicionales de una variable, que hemos llamado silogística, pues constituye un formalismo muy adecuado para tratar el razonamiento silogístico clásico.En el Capítulo V se generaliza esta situación al caso de varias variables: para ello, se considera la N-categoría CXI, donde C y X son como antes, e I es un conjunto de índices.El último Capítulo está dedicado a la semántica. Cabe destacar nuestra definición de modelo, que, por un lado, es bastante natural, y por otro, facilita enormemente las caracterizaciones de consistencia y completitud semánticas| |
Cita | Riscos Fernández, A. (1984). N-categorías un modelo categorial de la lógica. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
C_043-120.pdf | 5.142Mb | [PDF] | Ver/ | |