Some observations on the logical foundations of inductive theorem proving

DOI10.23638/LMCS-13(4:10)2017zbMath1460.03005arXiv1704.01930MaRDI QIDQ4596787

Stefan Hetzl, Tin Lok Wong

Publication date: 11 December 2017

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

zbMATH Keywords

proof theoryinductive theorem provingarithmetical theories

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Models of arithmetic and set theory (03C62)

Related Items (5)

Algebraic combinatorics in bounded induction ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Unnamed Item ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving

This page was built for publication: Some observations on the logical foundations of inductive theorem proving