Idioma:

Three decades of paraconsistent annotated logics: a review paper on some applications

Abe, Jair M. ; Nakamatsu, Kazumi ; Silva Filho, João I. da

Procedia computer science, 2019, Vol.159, p.1175-1181 [Periódico revisado por pares]

Sem texto completo

Citações Citado por

Título:
Three decades of paraconsistent annotated logics: a review paper on some applications
Autor: Abe, Jair M. ; Nakamatsu, Kazumi ; Silva Filho, João I. da
Assuntos: annotated logic ; applications ; non-classical logic ; paracomplete logic ; paraconsistent logic
É parte de: Procedia computer science, 2019, Vol.159, p.1175-1181
Descrição: In this expository work, we sketch some applications of annotated logics. Such logics were discovered in the late 1980s and nowadays have become one of the most fertile logics for applications. They constitute a two-sorted logic, and they are paraconsistent and in general paracomplete and non-alethic logics.
Editor: Elsevier B.V
Idioma: Inglês

Voltar para lista de resultados