Show simple item record

dc.contributor.advisorAlonso González, Enrique
dc.contributor.authorFernandes, Diego Pinheiro
dc.date.accessioned2018-05-24T15:31:12Z
dc.date.available2018-05-24T15:31:12Z
dc.date.issued2017
dc.identifier.urihttp://hdl.handle.net/10366/137530
dc.description.abstract[ES] Esta tesis es una investigación sobre los conceptos principales ocurriendo en los teoremas tipo-Lindström, esto es, el concepto de sistema lógico y el concepto de expresividad. Lindström, entre otros resultados similares, caracterizó la lógica de primer orden como siendo máximamente expresiva entre las lógicas que tienen compacidad y la propriedad de Löwenheim-Skolem. Para tal, él tenía que dar una definición precisa de qué es una lógica y qué es una relación de expresividad. Tales resultados suelen ser usados para extraer conclusiones fuertes sobre la naturaleza de la lógica y, específicamente, de la lógica de primer orden. No obstante, con la excepción de una discusión inicial en el libro sobre lógicas modelo-teóricas editado por Barwise y Feferman, hay pocas discusiones conceptuales de estos resultados de caracterización en la literatura. Específicamente, nos parece problemática la falta de justificación de por qué cierto concepto de sistema lógico y cierto concepto de expresividad fueran elegidos. Nuestro propósito es de contribuir a esta discusión y también proponer un criterio de expresividad más amplio, por medio de traducciones entre lógicas.es_ES
dc.format.mimetypeapplication/pdf
dc.language.isospaes_ES
dc.relation.requiresAdobe Acrobat
dc.rightsAttribution-NonCommercial-NoDerivs 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectLogices_ES
dc.subjectTesis y disertaciones académicases_ES
dc.subjectUniversidad de Salamanca (España)es_ES
dc.subjectResumen de tesises_ES
dc.subjectThesis Abstractses_ES
dc.subjectLógicaes_ES
dc.subjectMatemáticases_ES
dc.subjectFilosofía
dc.titleResumen de tesis. Logical Systems On the Concept, Expressive Power and Expressiveness Characterizationses_ES
dc.title.alternativeLogical Systems On the Concept, Expressive Power and Expressiveness Characterizationses_ES
dc.typeinfo:eu-repo/semantics/doctoralThesises_ES
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 4.0 International