Un estudio semántico de lógicas no clásicas con un enfoque topológico

Simple item page
dc.audiencegeneralPublic
dc.contributorMartínez Ruiz, Iván
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorMolina Vázquez, Constantino
dc.date.accessioned2025-03-06T21:05:34Z
dc.date.available2025-03-06T21:05:34Z
dc.date.issued2024-11
dc.description.abstract“Durante la segunda mitad del siglo XX, lógico-matemáticos como Russell, Whitehead, Gödel, Turing, Kripke, Lewis, Tarski, Lukasiewicz y Heytig realizaron las contribuciones más importantes al área. Con ellos fueron apareciendo los resultados que dotaron a esta disciplina de la fisonomía que presenta en la actualidad, de tal forma que se ha generado gran cantidad de lógicas formales diferentes a la lógica clásica. Esto ha sido posible, en primera, por la facilidad para modificar la sintaxis de cada una de ellas (en sus axiomas, en sus conectivos y en sus reglas de inferencia) y, en segunda, por la aplicación, dentro de las mismas, de conceptos y resultados de las diversas teorías de la matemática (álgebra y topología). La retroalimentación entre la lógica y la matemática es vasta y práctica. Considerando todo lo anterior, en este trabajo se tiene como objetivo realizar un tratamiento topológico a la semántica de la lógica modal, principalmente sobre modelos reflexivos y transitivos, para pasar luego a establecer modelos topológicos sobre espacios preordenados y, por último, a la demostración del teorema de solidez topológico-modal del sistema S4 (todo teorema es fórmula válida) y a la del teorema de completitud para el mismo (toda fórmula válida es teorema)”.
dc.folio20241121162034-5524-T
dc.formatpdf
dc.identificator1
dc.identifier.urihttps://hdl.handle.net/20.500.12371/27018
dc.language.isospa
dc.matricula.creator222470430
dc.publisherBenemérita Universidad Autónoma de Puebla
dc.rights.accesopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
dc.subject.lccMatemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modal
dc.subject.lccMatemáticas--Geometría--Topología
dc.thesis.careerMaestría en Ciencias (Matemáticas)
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactas
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticas
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)
dc.titleUn estudio semántico de lógicas no clásicas con un enfoque topológico
dc.typeTesis de maestría
dc.type.conacytmasterThesis
dc.type.degreeMaestría
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
20241121162034-5524-T.pdf
Size:
881.52 KB
Format:
Adobe Portable Document Format
Download
Name:
20241121162034-5524-CARTA.pdf
Size:
496.91 KB
Format:
Adobe Portable Document Format
Collections
Tesis de Maestría