PRUF: a language for the representation of meaning in natural languages
Lotfi A. Zadeh · International Joint Conference on Artificial Intelligence · 1977
PRUF--an acronym for Possibilistic Relational Universal Fuzzy--is a designation for a novel type of synthetic language which is intended to serve as a target language for the representation of meaning of expressions in a natural language.