Publisher
Springer International Publishing
Reference73 articles.
1. Bolzano, B.: Wissenschaftslehre. Versuch einer ausführlichen und größtentheils neuen Darstellung der Logik mit steter Rücksicht auf deren bisherige Bearbeiter, vol. I–IV. Seidel, Sulzbach (1837)
2. Brotherston, J., Simpson, A.: Complete sequent calculi for induction and infinite descent. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 51–62. IEEE Press, Los Alamitos (2007)
3. Carnap, R.: Abriß der Logistik. Mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen. Springer, Wien (1929)
4. Dean, W., Kurokawa, H.: Kreisel’s Theory of Constructions, the Kreisel-Goodman paradox, and the second clause. In: Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics. Springer, Dordrecht (2016) (This volume)
5. Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Trans. Comput. Log. 2, 623–654 (2001)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献