Look-up in Google Scholar
Title: Una interpretación algebraica de la lógica de primer orden
Advisor(s): Piscoya Hermoza, Luis Adolfo
OCDE field: https://purl.org/pe-repo/ocde/ford#6.03.01
Issue Date: 2017
Institution: Universidad Nacional Mayor de San Marcos
Abstract: 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.
Discipline: Filosofía con mención en Epistemología
Grade or title grantor: Universidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Unidad de Posgrado
Grade or title: Magíster en Filosofía con mención en Epistemología
Juror: Ballon Vargas, José Carlos; Villena Saldaña, Joseph David de Jesús; Pérez Arteaga, José del Carmen; Aldama Pinedo, Javier Ulises
Register date: 18-May-2018



This item is licensed under a Creative Commons License Creative Commons