Backward reasoning in systems with cut

DOI10.1007/3-540-61732-9_67MaRDI QIDQ6560385zbMATH OpenFDO

Authors Elmar Eder

Publication date 21 June 2024

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1748575
• Dynamic backward reasoning systems
• scientific article; zbMATH DE number 3935002
• Cut elimination and automatic proof procedures
• scientific article; zbMATH DE number 1552525

Cites work

• scientific article; zbMATH DE number 48763 (Why is no real title available?)
• scientific article; zbMATH DE number 534879 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Lower Bounds on Herbrand's Theorem

This page was built for publication: Backward reasoning in systems with cut

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