Buscar
Mostrando ítems 1-10 de 137
Máquinas de Turing paraconsistentes : una posible definición.
(2011-10-13)
Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...
Los diversos significados de la negación ¿cuál de ellos enseñar?
(Universidad Veracruzana, 2011)
Paradojas semánticas y cambios de lógica
(Universidad Veracruzana, 2015)
Perspectivas lógicas sobre las constradicciones
(Universidad Veracruzana, 2011)
ENTREVISTA COM A PROFESSORA ITALA MARIA LOFFREDO D’OTTAVIANO: UMA INTRODUÇÃO À LÓGICA, ÀS LÓGICAS NÃO CLÁSSICAS E À TEORIA DE SISTEMAS
(Universidade Federal do Pará, 2017)
Algebraic semantics for Nelson’s logic S
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-01-25)
Besides the better-known Nelson logic (��3) and paraconsistent Nelson logic (��4), in
Negation and separation of concepts in constructive systems (1959) David Nelson introduced
a logic that he called ��, with motivations ...
La caracterización de las lógicas paraconsistentes
(Diego LetzenPenélope Lodeyro, 2009-10)
La cuestión de la adecuada caracterización de la propiedad de la paraconsistencia es quizás el
problema filosófico de mayor importancia que se plantea con respecto a las lógicas
paraconsistentes.
El lógico Graham Priest, ...
Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones
(Boletín de Matemáticas, 2005)
Se caracterizan los sistemas Lógica Básica Paraconsistente yLógica Básica Paracompleta sin recurrir a la negación clásica. Un trabajo similar se hace para otras extensiones del sistema Lógica Básica Paraconsistente y ...