Lógica básica con afirmación alterna
Palabras clave:
afirmación, afirmación alterna, incompatibilidad, determinabilidadResumen
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
X. Caicedo, Elementos de lógica y calculabilidad, Universidad de los Andes, Bogotá, 1990.
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.
N. Da Costa, Inconsistent Formal Systems, UFPR, Curitiba, 1993.
A. Hamilton, Lógica para matemáticos, Paraninfo S.A, Madrid, 1981.
G. Hughes y M. Cresswell An Introduction to Modal Logic, Londres, Methuen, 1968.
M. Sierra, Lógica básica paraconsistente y paracompleta y algunas de sus extensiones, Revista Universidad EAFIT, 133, 2004.
M. Sierra, Lógica Básica con Aceptación Fuerte, Revista Boletín de Matemáticas, IX (1), 2002.
Descargas
Publicado
Número
Sección
Licencia
Los autores que publican en esta revista están de acuerdo con los siguientes términos:
- Los autores conservan los derechos de autor y garantizan a la revista el derecho de ser la primera publicación del trabajo al igual que licenciado bajo una Creative Commons Attribution License que permite a otros compartir el trabajo con un reconocimiento de la autoría del trabajo y la publicación inicial en esta revista.
- Los autores pueden establecer por separado acuerdos adicionales para la distribución no exclusiva de la versión de la obra publicada en la revista (por ejemplo, situarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en esta revista.
- Se permite y se anima a los autores a difundir sus trabajos electrónicamente (por ejemplo, en repositorios institucionales o en su propio sitio web) antes y durante el proceso de envío, ya que puede dar lugar a intercambios productivos, así como a una citación más temprana y mayor de los trabajos publicados (Véase The Effect of Open Access) (en inglés).
Plagiarism Detection