A systematic methodology for automated theorem finding

DOI10.1016/j.tcs.2014.06.028zbMath1360.68749OpenAlexW2000227239MaRDI QIDQ744079

Yuichi Goto, Hongbiao Gao, 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

NBG set theoryPeano arithmeticautomated theorem findingforward deductionstrong relevant logic

Mathematics Subject Classification ID

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

Related Items (1)

A mechanical geometer

Cites Work

• The problem of automated theorem finding
• Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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