A complete and consistent formal system for sortals
scientific article; zbMATH DE number 1546775