Classical logic with partial functions
scientific article; zbMATH DE number 6062060