Λογική και Σημασιολογία για γλώσσες που περιέχουν ασαφή κατηγορήματα