Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad EAFIT
2006
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=83520409 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Sistema paraconsistente LBPc¬I Manuel Sierra A. Ingeniería consistente negación débil incompatibilidad sistema deductivo para 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 poruna 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 deesperarse, cuando las fórmulas involucradas en un argumento se comportanclásicamente, es decir, son incompatibles con su negación débil, entonces lanegación débil se comporta como la negación clásica, pero este requisito nosiempre es necesario, la negación débil puede ser puntualmente tan potentecomo la clásica, aunque las fórmulas involucradas no se comporten clásicamente. 2006 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83520409 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.4 Vol.2