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

Jair Minoro Abe | Zendy; Kazumi Nakamatsu | Zendy; João Inácio da Silva Filho | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Jair Minoro Abe,

Kazumi Nakamatsu,

João Inácio da Silva Filho

Publication year - 2019

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2019.09.286

Subject(s) - computer science , sketch , t norm fuzzy logics , monoidal t norm logic , paraconsistent logic , description logic , artificial intelligence , theoretical computer science , algorithm , fuzzy logic , membership function , multimodal logic , fuzzy set , fuzzy number

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research