Semi-intuitionistic logic with strong negation
intuitionistic logic with strong negation
scientific article; zbMATH DE number 6860341