A systematic methodology for automated theorem finding

DOI10.1016/J.TCS.2014.06.028MaRDI QIDQ744079zbMATH OpenOpenAlexFDO

Authors Hongbiao Gao, Yuichi Goto, Jingde Cheng

Publication date 6 October 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.06.028

zbMATH Keywords

Peano arithmeticautomated theorem findingforward deductionNBG set theorystrong relevant logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mechanization of proofs and logical operations (03B35) Nonclassical and second-order set theories (03E70) First-order arithmetic and fragments (03F30)

Recommendations

• Finding theorems in NBG set theory by automated forward deduction based on strong relevant logic
• The problem of automated theorem finding
• scientific article; zbMATH DE number 3995084
• scientific article; zbMATH DE number 4203762
• Conquering the Meredith single axiom

Cites work

• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 158462 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1552573 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Finding theorems in NBG set theory by automated forward deduction based on strong relevant logic
• The problem of automated theorem finding

Cited in

(3)

• The problem of automated theorem finding
• Finding theorems in NBG set theory by automated forward deduction based on strong relevant logic
• A mechanical geometer

This page was built for publication: A systematic methodology for automated theorem finding

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