Publisher
Springer International Publishing
Reference17 articles.
1. J. Brotherston, A. Simpson, Complete sequent calculi for induction and infinite descent, in Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS) (IEEE Press, Los Alamitos, 2007), pp. 51–62
2. A.G. Dragalin, Mathematical Intuitionism: Introduction to Proof Theory (American Mathematical Society, Providence, Rhode Island, 1987). Russian original 1979
3. J. Ekman, Normal proofs in set theory, Ph.D. thesis, Unversity of Göteborg, 1994
4. J. Ekman, Self-contradictory reasoning, in Advances in Proof-Theoretic Semantics, ed. by T. Piecha, P. Schroeder-Heister (Springer, Cham, 2016), pp. 211–229
5. F.B. Fitch, A system of formal logic without an analogue to the Curry W operator. J. Symb. Log. 1, 92–100 (1936)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献