Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic-Reference-Cited by-同舟云学术

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

Published:1999 Issue: Volume:20 Page:449-466
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Polakow Jeff,Pfenning Frank

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. Abrusci, V. M., Non-commutative intuitionistic linear propositional logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36 (1990), pp. 297318.

2. Abrusci V. Michele and Paul Ruet, Non-commutative logic I: The multiplicative fragment, Submitted, May 1998.

3. Andreoli J.-M., “Proposal for a Synthesis of Logic and Object-Oriented Programming Paradigms,” PhD thesis, University of Paris VI, 1990.

4. Barber, Andrew, “Linear Type Theories, Semantics and Action Calculi,” PhD thesis, Department of Computer Science, University of Edinburgh, 1997.

5. Brown C. and D. Gurr, Relations and non-commutative linear logic, Technical Report DAIMI PB-372, Computer Science Department, Aarhus University, November 1991.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Historia: Refuting Callback Reachability with Message-History Logics;Proceedings of the ACM on Programming Languages;2023-10-16

2. Safe, modular packet pipeline programming;Proceedings of the ACM on Programming Languages;2022-01-12

3. Hybrid;Journal of Automated Reasoning;2010-08-07

4. A system of interaction and structure;ACM Transactions on Computational Logic;2007-01

5. Proving Syntactic Properties of Exceptions in an Ordered Logical Framework;Functional and Logic Programming;2001