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...

Full description

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