An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction

Yang Xu, Peiyao Liu, Shuwei Chen +1

Currently, there is a lack of rigorous theoretical system for systematically generating non-trivial and logically valid theorems. Addressing this critical gap, this paper conducts…