Normal forms, Distributive laws, and Uniform interpolants

Abstrakt

Normal forms are constructed via application of distributive laws, uniform interpolants can often be constructed removing occurrences of speci ed atoms from a normal form of a given formula.

Klíčová slova

• Normal
• forms
• Distributive
• Uniform
• interpolants