Paraconsistent Possibilistic Logics

Abstract: I intend to explain the possibility and necessity models based on theLogics of Formal Inconsistency (LFI's), which we call `credal calculi', taking advantage of their expressivity in terms of the notions of consistency and inconsistency. Some basic properties of possibility and necessity functions over LFI's are provided. A nice aspect of this talk is how logic can be connected to the treatment of information, and I discuss some examples showing how such logics attain realistic models for artificial judgement. This is a joint work with Juliana Bueno-Soler.

Reference:

W. A. Carnielli and J. Bueno-Soler. Credal Calculi, Evidence, and Consistency. Outstanding Contributions to Logic, edited by O. Arieli and A. Zamansky, Springer, 2021, in print.

logic

Audience: researchers in the topic

Nonclassical Logic Webinar