Villa Hernández, DavidArrazola Ramírez, José Ramón EnriqueVILLA HERNANDEZ, DAVID; 47670Pérez Gaspar, Miguel2020-09-102020-09-102018-09https://hdl.handle.net/20.500.12371/7715"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".pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRATeoría de campos (Física)Física matemáticaLógica matemática no clásicaTesis de doctoradoInconsistencia (Lógica)Lógica simbólica y matemáticaSemántica--Modelos matemáticosKripke, Saul A., 1940-openAccess