Fragments of quasi-Nelson: residuation
Nelson's constructive logic with strong negation
scientific article; zbMATH DE number 7708150
scientific article