Look-up in Google Scholar
Full metadata record
Piscoya Hermoza, Luis Adolfo
Merma Mora, Miguel Angel
2018-05-18T07:15:42Z
2018-05-18T07:15:42Z
2017
Merma, M. (2017). Una interpretación algebraica de la lógica de primer orden. [Tesis de maestría, Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas, Unidad de Posgrado]. Repositorio institucional Cybertesis UNMSM.
https://hdl.handle.net/20.500.12672/7436
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.
Tesis
spa
Universidad Nacional Mayor de San Marcos
info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/4.0/
Universidad Nacional Mayor de San Marcos
Repositorio de Tesis - UNMSM
Lógica de primer orden
Lógica matemática
Una interpretación algebraica de la lógica de primer orden
info:eu-repo/semantics/masterThesis
Universidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Unidad de Posgrado
Filosofía con mención en Epistemología
Maestria
Magíster en Filosofía con mención en Epistemología
PE
https://purl.org/pe-repo/ocde/ford#6.03.01
https://purl.org/pe-repo/renati/level#maestro
07935998
https://orcid.org/0000-0002-8875-4573
Ballon Vargas, José Carlos
Villena Saldaña, Joseph David de Jesús
Pérez Arteaga, José del Carmen
Aldama Pinedo, Javier Ulises
https://purl.org/pe-repo/renati/type#tesis
Pública



This item is licensed under a Creative Commons License Creative Commons