Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Anderson, A.R., Belnap, N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)
2. Barendregt, H., Ghilezan, S.: Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. 10, 121–134 (2000)
3. Bimbó, K.: Relevance logics. In: Jacquette, D. (ed.) Philosophy of Logic. Handbook of the Philosophy of Science (D. Gabbay, P. Thagard, J. Woods, eds.), vol. 5, pp. 723–789. Elsevier (North-Holland), Amsterdam (2007).
https://doi.org/10.1016/B978-044451541-4/50022-1
4. Discrete Mathematics and its Applications;K Bimbó,2012
5. Bimbó, K.: The decidability of the intensional fragment of classical linear logic. Theor. Comput. Sci. 597, 1–17 (2015).
https://doi.org/10.1016/j.tcs.2015.06.019