Buscar en Google Scholar
Título: Una interpretación algebraica de la lógica de primer orden
Asesor(es): Piscoya Hermoza, Luis Adolfo
Campo OCDE: https://purl.org/pe-repo/ocde/ford#6.03.01
Fecha de publicación: 2017
Institución: Universidad Nacional Mayor de San Marcos
Resumen: En la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente intuitivo, ya que en esa investigación no interpreta algebraicamente los axiomas del cálculo lógico de primer orden. En esta tesis de maestría se interpreta algebraicamente cada uno de los seis axiomas de la lógica de primer orden, logrando con ello rigor y generalidad. También se establece que la interpretación funciona, tanto para la lógica proposicional, como para el lenguaje predicativo poliádico y se ofrece una buena cantidad de ejemplos ilustrativos.
Disciplina académico-profesional: Filosofía con mención en Epistemología
Institución que otorga el grado o título: Universidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Unidad de Posgrado
Grado o título: Magíster en Filosofía con mención en Epistemología
Jurado: Pérez Arteaga, José del Carmen; Ballon Vargas, José Carlos; Villena Saldaña, Joseph David de Jesús; Aldama Pinedo, Javier Ulises
Fecha de registro: 18-may-2018; 18-may-2018



Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons