Author:
Dawson Jeremy E.,Clouston Ranald,Goré Rajeev,Tiu Alwen
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Belnap, N.D.: Display logic. J. Philos. Logic 11, 375–417 (1982)
2. Bierman, G.M.: A note on full intuitionistic linear logic. Ann. Pure Appl. Logic 79(3), 281–287 (1996)
3. Lecture Notes in Computer Science;T. Bräuner,1998
4. Brünnler, K.: Deep sequent systems for modal logic. Arch. Math. Logic 48(6), 551–577 (2009)
5. Clouston, R., Dawson, J.E., Goré, R., Tiu, A.: Annotation-free sequent calculi for full intuitionistic linear logic. In: CSL, pp. 197–214 (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献