Funder
Grantová Agentura Ceské Republiky
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference32 articles.
1. Došen K (1980) Logical constants: An essay in proof theory. PhD thesis, University of Oxford.
2. Došen, K. (2016). On the paths of categories. In T. Piecha & P. Schroeder-Heister (Eds.), Advances in proof-theoretic semantics (pp. 65–77). Cham: Springer. https://doi.org/10.1007/978-3-319-22686-6_4.
3. Došen, K., & Petrić, Z. (2004). Proof-theoretical coherence. Studies in logic (logic & cognitive systems). London: College Publications.
4. D’Agostino, M., Gabbay, D., & Modgil, S. (2020). Normality, non-contamination and logical depth in classical natural deduction. Studia Logica, 108(2), 291–357. https://doi.org/10.1007/s11225-019-09847-4.
5. Fitch, F. B. (1952). Symbolic logic: An introduction. New York: Ronald Press.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献