Sistema paracompleto lbp°¬c
El lenguaje del sistema LBPo¬C extiende el lenguaje de lalógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual tiene todas las características de la negación clásica. El sistema es caracter...
- Autores:
-
Sierra, Manuel
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2006
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73606
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73606
http://bdigital.unal.edu.co/38082/
- Palabra clave:
- operador de determinabilidad
sistema paracompleto.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional