Nilpotent minimum logic