Un estudio de la lógica CG'3

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorVilla Hernández, David
dc.contributorArrazola Ramírez, José Ramón Enrique
dc.contributor.advisorVILLA HERNANDEZ, DAVID; 47670
dc.contributor.authorPérez Gaspar, Miguel
dc.creatorPEREZ GASPAR, MIGUEL; 485833
dc.date.accessioned2020-09-10T13:42:30Z
dc.date.available2020-09-10T13:42:30Z
dc.date.issued2018-09
dc.description.abstract"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".es_MX
dc.folio498918Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/7715
dc.language.isospaes_MX
dc.matricula.creator214570947es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.dbgunamInconsistencia (Lógica)es_MX
dc.subject.dbgunamLógica simbólica y matemáticaes_MX
dc.subject.dbgunamSemántica--Modelos matemáticoses_MX
dc.subject.dbgunamKripke, Saul A., 1940-es_MX
dc.subject.lccTeoría de campos (Física)es_MX
dc.subject.lccFísica matemáticaes_MX
dc.subject.lccLógica matemática no clásicaes_MX
dc.thesis.careerDoctorado en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainDoctor (a) en Ciencias (Matemáticas)
dc.titleUn estudio de la lógica CG'3es_MX
dc.typeTesis de doctoradoes_MX
dc.type.conacytdoctoralThesises_MX
dc.type.degreeDoctoradoes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
498918T.pdf
Size:
532.2 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Doctorado