Paraconsistent double negations as classical and intuitionistic negations
scientific article; zbMATH DE number 6818674
scientific article