Projection and scope-determined circumscription
strongest necessary and weakest sufficient condition
scientific article; zbMATH DE number 6048194