Open arademaker opened 8 years ago
We can explore the Hermann's idea for convert TSTP proofs to ND or SC proofs. The two papers are (possible the same content):
(Contemporary Mathematics) Walter A. Carnielli, Luiz Paulo De Alcantara (ed.)- Methods and Applications of Mathematical Logic Proceedings America Mathematical Society (1988)
We can explore the Hermann's idea for convert TSTP proofs to ND or SC proofs. The two papers are (possible the same content):
(Contemporary Mathematics) Walter A. Carnielli, Luiz Paulo De Alcantara (ed.)- Methods and Applications of Mathematical Logic Proceedings America Mathematical Society (1988)