This paper aims to empirically explore the state of practical applications of paraconsistent logics. To this end, we performed an exploratory literature review, analysing papers published between the years 2015 and 2018. Paraconsistent formalisms based on annotated logics are practically the sole type of approach we found to be applied in engineering applications. The engineering problems solved by paraconsistent approaches were mainly in the fields of signal and image processing and decision support. The results of our exploratory review indicate that recent developments in the theory of paraconsistency have not yet been adopted for applications.
Bibliographical noteFunding Information:
This work was supported by Israel Science Foundation [ 817/15].
© 2019, © 2019 Informa UK Limited, trading as Taylor & Francis Group.
- annotated logics
- applied non-classical logics
- paraconsistent logics
ASJC Scopus subject areas