Timm Lampert

Minimizing disjunctive normal forms of pure first-order logic

2017 · Logic Journal of IGPL

In contrast to Hintikka’s enormously complex distributive normal forms of first-order logic, this article shows how to generate minimized disjunctive normal forms of first-order logic. An effective algorithm for this purpose is outlined, and the …