Sistema paraconsistente LBPc¬I
Palabras clave:
Paincompatibilidad, negación débil, sistema deductivo para-consistente.Resumen
El lenguaje del sistema LBPc¬I extiende el lenguaje de la lógica clásica positiva al incluir un operador de negación débil y un operador de incompatibilidad, además, permite definir un operador de negación fuerte; este último tiene todas las características de la negación clásica. El sistema es caracterizado por una semántica de valuaciones tradicionales con la cual se prueba que, respecto al operador de negación débil, el sistema es paraconsistente. Como es de esperarse, cuando las fórmulas involucradas en un argumento se comportan clásicamente, es decir, son incompatibles con su negación débil, entonces la negación débil se comporta como la negación clásica, pero este requisito no siempre es necesario, la negación débil puede ser puntualmente tan potente como la clásica, aunque las fórmulas involucradas no se comporten clásicamente.
MSC: 03Bxx, 03B53
Descargas
Referencias
N. Da Costa. Inconsistent Formal Systems. Curitiba: Editora UFPR, 1993.
W. Carnielli and J. Marcos. A Taxonomy of C-Systems. En Paraconsistency: The LogicalWay to the Inconsistent. Lecture Notes in Pure and Applied Mathematics, New York: Ed. Marcel Dekker, 228, 2002.
X. Caicedo. Elementos de lógica y calculabilidad. Bogotá: Universidad de los Andes, 1990.
A. Hamilton. Lógica para matemáticos. Madrid: Paraninfo S.A., 1981.
A. Tarski. Logic, semantics and metamathematics. Second edition, Indianapolis: Hackett Publ., 1983.
M. Sierra. Lógica básica con afirmación alterna. Ingeniería y Ciencia, 1(1), 2005.
L. Henkin. The completeness of the first order functional calculus. The journal of symbolic logic, 14(3), 1949.
Descargas
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