Norihiro Kamide

Paraconsistent double negation as a modal operator

2016 · Mathematical logic quarterly

A paraconsistent modal-like logic, , is defined as a Gentzen-type sequent calculus. The modal operator in the modal logic can be simulated by the paraconsistent double negation in . Some theorems for embedding into a …