Author:
Barrio Eduardo,Rosenblatt Lucas,Tajer Diego
Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57.
2. Baaz, M., Fermüller, C., Salzer, G., Zach, R. (1998). Labeled calculi and finite-valued logics. Studia Logica, 61, 7–33.
3. Baaz, M., Fermüller, C., Zach, R. (1993). Systematic construction of natural deduction systems for many-valued logics. In 23rd international symposium on multiple valued logic, Sacramento, (pp. 208–213). Los Alamitos: IEEE Press.
4. Beall, J.C. (2009). Spandrels of truth. New York: Oxford University Press.
5. Beall, J.C., & Murzi, J. (2013). Two flavors of curry’s paradox. Journal of Philosophy, 110(3), 143–165.
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献