Show simple item record

dc.contributor.advisorLaita de la Rica, Luis Maríaes
dc.creatorRiscos Fernández, Agustínes
dc.date.accessioned2015-04-16T09:18:13Z
dc.date.available2015-04-16T09:18:13Z
dc.date.issued1984es
dc.identifier.citationRiscos Fernández, A. (1984). N-categorías un modelo categorial de la lógica. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla.
dc.identifier.urihttp://hdl.handle.net/11441/23814
dc.description.abstractEn 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|es
dc.formatapplication/pdfes
dc.language.isospaes
dc.rightsAtribución-NoComercial-SinDerivadas 4.0 España
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/es
dc.subjectLógica algebraicaes
dc.titleN-categorías un modelo categorial de la lógicaes
dc.typeinfo:eu-repo/semantics/doctoralThesises
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Álgebraes
idus.format.extent104 p.es
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/23814

FilesSizeFormatViewDescription
C_043-120.pdf5.142MbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 4.0 España
Except where otherwise noted, this item's license is described as: Atribución-NoComercial-SinDerivadas 4.0 España