Author:
Cintula Petr,Metcalfe George
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Artificial Intelligence;M. Baaz,2001
2. Baaz, M., Iemhoff, R.: On Skolemization in constructive theories. Journal of Symbolic Logic 73(3), 969–998 (2008)
3. Lecture Notes in Computer Science;M. Baaz,2008
4. Baaz, M., Metcalfe, G.: Herbrand’s theorem, Skolemization, and proof systems for first-order Łukasiewicz logic. Journal of Logic and Computation 20(1), 35–54 (2010)
5. Buss, S. (ed.): Handbook of Proof Theory. Kluwer (1998)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献