Citas bibligráficas
Esta es una referencia generada automáticamente. Modifíquela de ser necesario
Merma, M., (2017). Una interpretación algebraica de la lógica de primer orden [Tesis, Universidad Nacional Mayor de San Marcos]. https://hdl.handle.net/20.500.12672/7436
Merma, M., Una interpretación algebraica de la lógica de primer orden [Tesis]. PE: Universidad Nacional Mayor de San Marcos; 2017. https://hdl.handle.net/20.500.12672/7436
@mastersthesis{renati/485419,
title = "Una interpretación algebraica de la lógica de primer orden",
author = "Merma Mora, Miguel Angel",
publisher = "Universidad Nacional Mayor de San Marcos",
year = "2017"
}
Título: Una interpretación algebraica de la lógica de primer orden
Autor(es): Merma Mora, Miguel Angel
Asesor(es): Piscoya Hermoza, Luis Adolfo
Palabras clave: Lógica de primer orden; Lógica matemática
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.
Enlace al repositorio: https://hdl.handle.net/20.500.12672/7436
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: Ballon Vargas, José Carlos; Villena Saldaña, Joseph David de Jesús; Pérez Arteaga, José del Carmen; Aldama Pinedo, Javier Ulises
Fecha de registro: 18-may-2018
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons