A First Polynomial Non-Clausal Class in Many-Valued Logic

Gonzalo E. Imaz

The relevance of polynomial formula classes to deductive efficiency motivated their search, and currently, a great number of such classes is known. Nonetheless, they have been excl…