Proof systems combining classical and paraconsistent negations
scientific article; zbMATH DE number 5552250