Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic.

Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng

Browse the full COCOON paper archive.