Paraconsistent Modal Logic

Abstract

Generalize the methods of paraconsistent fuzzy reasoning into modal logic, propose a paraconsistent modal logic, whose logical consequence is a modal extension of a paraconsistent fuzzy implication, which has the abilities of both handling inconsistency and representing multi world modals, and present its sound and complete Gentzen style inference system.