Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Aguilera, J.P., Baaz, M.: Unsound inferences make proofs shorter. J. Symb. Log. 84(1), 102–122 (2019)
2. Gentzen., G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 176–210, 405–431 (1934–1935)
3. Mac Lane, S.: Abgekürzte Beweise im Logikkalkül. Hubert, Columbus (1934)
4. Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM (JACM) 12(1), 23–41 (1965)
5. Takeuti, G.: Proof Theory. Courier Dover Publications, Mineola (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献