Buscar
Mostrando ítems 1-10 de 111
Semánticas Algebraicas y de kripke para lógicas intermedias
(Benemérita Universidad Autónoma de Puebla, 2014-11)
"Las lógicas proposicionales intermedias son conjuntos de fórmulas cerrados con respecto a modus ponens y substitución que son extensiones de la lógica proposicional intuicionista y están contenidas en la lógica proposicional ...
Álgebras para la lógica implicativa con conjunción.
(2011-09-14)
Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.
Modelo categórico de la logica bivalente
(José Faustino Sánchez CarriónPE, 2022-09-16)
Objetivos: El objetivo de la tesis es Construir un modelo categórico para interpretar
a la lógica bivalente.
Materiales y métodos: Se utilizó la búsqueda de bibliografía relacionada con las
categorías y la lógica ...
Una interpretación algebraica de la lógica de primer orden
(Universidad Nacional Mayor de San MarcosPE, 2017)
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 ...
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores
(Universidad Nacional Mayor de San MarcosPE, 2016)
La presente investigación se circunscribe principalmente en el ámbito de la filosofía de la lógica y del metaanálisis lógico, en la medida en que se efectúa una exploración metalógica. El método empleado aplica procedimientos ...