Sistema paraconsistente LBPc¬I
Keywords:
incompatibility, weak negation, paraconsistent deductive system.Abstract
The language of the LBPc¬I system extends the language of the classical positive logic when including an operator of weak negation and an operator of incompatibility, and permit to define an operator of strong negation; this last one has all the characteristics of the classical negation. The system is characterized by a traditional semantics with which test that, with respect to the operator of weak negation, the system is paraconsistent. When the formulas involved in an argument behave classically, that is to say, are incompatible with his weak negation, then the weak negation behaves like the classical negation, but this requirement not always is necessary, the weak negation can precise be as powerful as the classical negation although the involved formulas do not behave classically.
MSC: 03Bxx, 03B53
Downloads
References
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.
Downloads
Issue
Section
License
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
Plagiarism Detection