A tableaux calculus for reducing proof size

DOI10.1007/978-3-319-94205-6_5OpenAlexW2964282487MaRDI QIDQ1799068

Nicolas Peltier, Michael Peter Lettmann

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1801.04163

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Reductions for non-clausal theorem proving ⋮ Automated Reasoning ⋮ Computer Science Logic

This page was built for publication: A tableaux calculus for reducing proof size

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799068)