Martínez Ruiz, IvánMARTINEZ RUIZ, IVAN; 205993Molina Vázquez, Constantino2025-03-062025-03-062024-11https://hdl.handle.net/20.500.12371/27018“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)”.pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAMatemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modalMatemáticas--Geometría--TopologíaTesis de maestríaopenAccess