Some applications of Gentzen's proof theory in automated deduction

DOI10.1007/BFb0038693OpenAlexW1600479749MaRDI QIDQ5053006

Michael J. Beeson

Publication date: 26 November 2022

Published in: Extensions of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0038693

Mathematics Subject Classification ID

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

Related Items (2)

A resolution theorem prover for intuitionistic logic ⋮ Automatic derivation of the irrationality of \(e\)

This page was built for publication: Some applications of Gentzen's proof theory in automated deduction