Effective prover for minimal inconsistency logic
In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many applications in Arti cial Intelligence such as in...
Guardado en:
| Autores principales: | Neto, Adolfo Gustavo Serra Seca, Finger, Marcelo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2006
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23968 |
| Aporte de: |
Ejemplares similares
-
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, M., et al. -
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, Manuela
Publicado: (2009) -
Matrix proof method in annotated paraconsistent logic
por: Kaestner, Celso A. A.
Publicado: (1995) -
El significado de la negación paraconsistente
por: Palau, Gladys -
El significado de la negación paraconsistente
por: Palau, Gladys, et al.
Publicado: (2009)