Paraconsistent metatheory: new proofs with old tools
scientific article; zbMATH DE number 7557915