Search
Now showing items 1-4 of 4
Lógicas descriptivas
(Benemérita Universidad Autónoma de Puebla, 2017-01)
En nuestro proyecto de Maestría “Demostración automática de Teoremas” se crearon demostradores automáticos de fórmulas para lógica clásica, lógica intuicionista y algunas otras lógicas no clásicas. En nuestro afán por ...
Semánticas para lógicas posibilistas
(Benemérita Universidad Autónoma de Puebla, 2015-06-05)
"En este trabajo comenzamos por explicar lo que entendemos por una
lógica y explicamos las diferentes lógicas que utilizamos en esta tesis:
la clásica, la intuicionista, la paraconsistente Cω y la posibilista. Todas
estas ...
Lógicas paraconsistentes genuinas
(2018-07)
“La definición de Paraconsistencia se fundamenta en rechazar o restringir el Principio de no Contradicción. En la lógica se ha optado por restringir este principio dando así lugar a la Lógica Paraconsistente. Debido a que ...
Un estudio de la lógica CG´3
(2018-09)
"Un punto de partida fundamental para ese
proyecto, no obstante, y el análisis del desarrollo lógico-formal y conceptual
de la ley lógica, conocida por su adagio latino, ex falso sequitur quodlibet, la
cual establece ...
Copyright © BUAP 2018. All right reserved.