Browsing by Author "PEREZ GASPAR, MIGUEL; 485833"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Tesis de doctorado
    Un estudio de la lógica CG'3
    (2018-09) Pérez Gaspar, Miguel; PEREZ GASPAR, MIGUEL; 485833; VILLA HERNANDEZ, DAVID; 47670
    "Un punto de partida fundamental para ese proyecto, no obstante, y el análisis del desarrollo lógico-formal y conceptual de la ley lógica, conocida por su adagio latino, ex falso sequitur quodlibet, la cual establece que se puede admitir lícitamente cualquier conclusión mediante inconsistencia o contradicción lógica. Esta ley lógica funciona como divisor de aguas y codifica la cláusula fundamental del fenómeno lógico de la trivialización formal. De hecho, es válida en la Lógica Clásica y en la Intuicionista. No es válida, en general en cualquier clase de lógicas paraconsistentes. De su importancia como indicador inicial de posturas lógico-teóricas de carácter paraconsistente; que es una piedra de toque, esa regla es decisiva en la identificación de autores que fueron favorables o desfavorables a un enfoque que hoy puede ser considerado paraconsistente, ya sea en un sentido amplio o en un sentido estricto. El objetivo principal de esta tesis es buscar una semántica de tipo Kripke y una axiomatización tipo Hilbert para la Lógica Paraconsistente CG3".
  • Thumbnail Image
    Tesis de maestría
    Semánticas Algebraicas y de Kripke para lógicas intermedias
    (Benemérita Universidad Autónoma de Puebla, 2014-11) Perez Gaspar, Miguel; PEREZ GASPAR, MIGUEL; 485833; ARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968
    "Las lógicas proposicionales intermedias son conjuntos de fórmulas cerrados con respecto a modus ponens y substitución que son extensiones de la lógica proposicional intuicionista y están contenidas en la lógica proposicional clásica. Estas lógicas pueden caracterizarse mediante herramientas semánticas. Las semánticas más populares para las lógicas intermedias son la semántica algebraica y la semántica de marcos de kripke. La semántica algebraica tiene un rol fundamental, ya que toda Lógica proposicional Intermedia se caracteriza mediante una semántica algebraica. La semántica de kripke se introdujo para estudiar sistemas modales y posteriormente se presentó como una buena herramienta para describir lógicas proposicionales intermedias".