Una interpretación algebraica de la lógica de primer orden

Description

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

Links & Downloads

1. MERMA Mora, Miguel Angel. Una interpretación algebraica de la lógica de primer orden. Tesis (Magíster en Filosofía con mención en Epistemología). Lima, Perú: Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas, Unidad de Posgrado, 2017. 63 h.
2. http://cybertesis.unmsm.edu.pe/handle/cybertesis/7436

Tags

Lógica de primer orden

Lógica matemática

Filosofía

Additional Fields

Identifer	oai:union.ndltd.org:Cybertesis/oai:cybertesis.unmsm.edu.pe:cybertesis/7436
Date	January 2017
Creators	Merma Mora, Miguel Angel
Contributors	Piscoya Hermoza, Luis
Publisher	Universidad Nacional Mayor de San Marcos
Source Sets	Universidad Nacional Mayor de San Marcos - SISBIB PERU
Language	Spanish
Detected Language	Spanish
Type	info:eu-repo/semantics/masterThesis
Format	application/pdf
Source	Universidad Nacional Mayor de San Marcos, Repositorio de Tesis - UNMSM
Rights	info:eu-repo/semantics/openAccess, https://creativecommons.org/licenses/by-nc/3.0/