A logical framework for graded predicates
scientific article; zbMATH DE number 6810769