Lógica básica con afirmación alterna
Keywords:
affirmation, alternate affirmation, incompatibility, determinability.Abstract
The language of the system extends language of the classical logic when including an operator for the notion of alternate affirmation (in contrast to the classical affirmation or usual affirmation), and also operators of incompatibility and determinability between the pair of operators negation and alternate affirmation. The system is characterized by a semantics of valuations, with which no-equivalence between both operators affirmation is shown. The system collapse in the classical logic if this equivalence is required. They are generated two intermediate systems when it is required by a side that the alternate affirmation imply classical affirmation and the other hand the reciprocal implication.
MSC: 03BXX, 03B45, 03B53
Downloads
References
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.
Downloads
Published
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