Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474)

Using the framework of fuzzy finite automata theory, the author continues earlier work on residuated lattice-valued logic to prove interesting results on an analogue of the standard pumping lemma from classical automata theory. In the process, the author provides a partial solution to a difficult 1952 problem by J. B. Rosser and A. R. Turquette, viz., if there exist many-valued logics beyond the level of predicate logic (it turn out that they do exist), what is the nature of such theories? The author's approach has several deep applications to artificial intelligence techniques.