Automated natural deduction prover and experiments

DOI10.1007/BFB0027411MaRDI QIDQ4610323zbMATH OpenOpenAlexFDO

Authors Li Dafa, Jia Peifa

Publication date 15 January 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Gentzen systemheuristicsnatural deductionquantifiers

Mathematics Subject Classification ID

Recommendations

• Experiments in linear natural deduction
• scientific article; zbMATH DE number 991409
• Publication:4941841
• scientific article; zbMATH DE number 4117898
• Automated theorem proving and logic programming: a natural symbiosis
• Automated deduction by theory resolution
• Proof theory and automated deduction
• Automated natural deduction in THINKER
• scientific article; zbMATH DE number 2100042
• Automating Inductive Proofs Using Theory Exploration

Cited in

(5)

• Automated natural deduction in THINKER
• scientific article; zbMATH DE number 991409 (Why is no real title available?)
• scientific article; zbMATH DE number 5000964 (Why is no real title available?)
• ANDP
• Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving

This page was built for publication: Automated natural deduction prover and experiments

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