Minimizing disjunctive normal forms of pure first-order logic

DOI10.1093/jigpal/jzx003zbMath1405.03023OpenAlexW2604868491MaRDI QIDQ4644489

Timm Lampert

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx003

zbMATH Keywords

optimizationfirst-order logicdisjunctive normal formspurificationQuine-McCluskey algorithm

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

Wittgenstein'sab-Notation: An Iconic Proof Procedure ⋮ Deciding simple infinity axiom sets with one binary relation by means of superpostulates ⋮ Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach

This page was built for publication: Minimizing disjunctive normal forms of pure first-order logic