LBPC-I paraconsistent system
The language of the LBPc¬I system extends the language of positive classical logic by including a weak negation operator and an incompatibility operator, in addition, it allows defining a strong negation operator; The latter has all the characteristics of classical negation. The system is characteri...
- Autores:
-
Sierra A., Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2006
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/14558
- Acceso en línea:
- http://hdl.handle.net/10784/14558
- Palabra clave:
- Pain Compatibility
Weak Denial
Para-Consistent Deductive System
Paincompatibilidad
Negación Débil
Sistema Deductivo Para-Consistente
- Rights
- License
- Copyright (c) 2006 Manuel Sierra A.