Lógica básica con afirmación alterna
Main Article Content
Keywords
afirmación, afirmación alterna, incompatibilidad, determinabilidad
Resumen
El lenguaje del sistema extiende el lenguaje de la lógica clásica al incluir un operador para la noción de afirmación alterna (en contraste con la afirmación clásica o afirmación usual), y también operadores de incompatibilidad y determinabilidad entre la pareja de operadores negación versus afirmación alterna. El sistema está caracterizado por una semántica de valuaciones, con la cual se muestra la no equivalencia entre los dos operadores afirmación. Como es de esperarse, el sistema colapsa en la lógica clásica si se pide esta equivalencia. Se generan dos sistemas intermedios cuando se pide por un lado que la afirmación alterna implique la clásica y por otro lado la implicación recíproca.
MSC: 03BXX, 03B45, 03B53
Descargas
Referencias
[2] W. Carnielli y J. Marcos, A Taxonomy of C-Systems, Paraconsistency - the Logical Way to the Inconsistent, Lecture Notes in Pure and Applied Mathematics, Ed. Marcel Dekker, New York, 228, 2002.
[3] N. Da Costa, Inconsistent Formal Systems, UFPR, Curitiba, 1993.
[4] A. Hamilton, Lógica para matemáticos, Paraninfo S.A, Madrid, 1981.
[5] G. Hughes y M. Cresswell An Introduction to Modal Logic, Londres, Methuen, 1968.
[6] M. Sierra, Lógica básica paraconsistente y paracompleta y algunas de sus extensiones, Revista Universidad EAFIT, 133, 2004.
[7] M. Sierra, Lógica Básica con Aceptación Fuerte, Revista Boletín de Matemáticas, IX (1), 2002.