Author:
Ciabattoni Agata,Terui Kazushige
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference22 articles.
1. Abrusci, V. M., ‘Non-commutative intuitionistic linear Propositional logic’, Zeit-schrift fur Mathematische Logik und Grundlagen der Mathematik 36: 297–318, 1990.
2. Avron, A., and I. Lev, ‘Canonical Propositional Gentzen-Type Systems’, Proceedings of IJCAR'01, vol. 2083 LNCS, 2001, pp. 529–543.
3. Belardinelli, F., H. Ono, and P. Jipsen, ‘Algebraic aspects of cut elimination’, Studia Logica 68: 1–32, 2001.
4. Belnap, N. D., Jr., ‘Display Logic’, Journal of Philosophical Logic, 11(4):375–417, 1982.
5. Buss, S., ‘An Introduction to Proof Theory’, Handbook of Proof Theory, Elsevier Science, 1998, pp. 1–78.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献