Academic Journals Database
Disseminating quality controlled scientific knowledge

Sistema paraconsistente LBPc¬I Sistema paraconsistente LBPc¬I

ADD TO MY LIST
 
Author(s): Manuel Sierra A

Journal: Ingeniería y Ciencia
ISSN 1794-9165

Volume: 2;
Issue: 4;
Start page: 163;
Date: 2012;
Original page

Keywords: Paincompatibilidad | negación débil | sistema deductivo para-consistente.

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.El lenguaje del sistema LBPI 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.
Save time & money - Smart Internet Solutions      Why do you need a reservation system?