Investigation of IF-THEN rule bases by methods of mathematical logic
Helmut Thiele · 2002
The paper deals with the calculus of IF-THEN rules originated by L.A. Zadeh. Using the concept of model and semantic entailment borrowed from mathematical logic, we make more precise the questions formulated by Zadeh in his fundamental papers.>