Paraconsistent double negation as a modal operator

Norihiro Kamide. Paraconsistent double negation as a modal operator. Math. Log. Q., 62(6):552-562, 2016. [doi]

Abstract

Abstract is missing.