Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
Nelson's paraconsistent four-valued logic N4
Wansing's basic constructive connexive logic C
and Zamansky's ideal paraconistent four-valued logic 4CC
scientific article; zbMATH DE number 7345793
scientific article