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 ...

"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 ...

“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 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 ...