A naive prover for first-order logic: a minimal example of analytic completeness

DOI10.1007/978-3-031-43513-3_25MaRDI QIDQ6541166

Jørgen Villadsen, Asta Halkjær From

Publication date: 17 May 2024

zbMATH Keywords

completenessfirst-order logicIsabelle/HOLprover

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A naive prover for first-order logic: a minimal example of analytic completeness