Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones
Se caracterizan los sistemas Lógica Básica Paraconsistente yLógica Básica Paracompleta sin recurrir a la negación clásica. Un trabajo similar se hace para otras extensiones del sistema Lógica Básica Paraconsistente y Paracompleta sin negación clásica.
- Autores:
-
Sierra, Manuel
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2005
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73533
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73533
http://bdigital.unal.edu.co/38009/
- Palabra clave:
- Lógica Básica Paraconsistente
Lógica Básica Paracompleta
negación clásica.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional