Focused Natural Deduction-Reference-Cited by-同舟云学术

Focused Natural Deduction

Published:2010 Issue: Volume: Page:157-171
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Brock-Nannestad Taus,Schürmann Carsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16242-8_12

Reference12 articles.

1. Andreoli, J.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297 (1992)

2. Lecture Notes in Artificial Intelligence;K. Chaudhuri,2008

3. Chaudhuri, K., Miller, D., Saurin, A.: Canonical sequent proofs via multi-focusing. In: Fifth International Conference on Theoretical Computer Science, vol. 273, pp. 383–396. Springer, Heidelberg (2008)

4. Chaudhuri, K., Pfenning, F., Price, G.: A logical characterization of forward and backward chaining in the inverse method. Journal of Automated Reasoning 40(2), 133–177 (2008)

5. Krishnaswami, N.R.: Focusing on pattern matching. In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 366–378. ACM, New York (2009)

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

1. Normalization by Evaluation for the Lambek Calculus;Electronic Proceedings in Theoretical Computer Science;2022-04-14

2. Computation focusing;Proceedings of the ACM on Programming Languages;2020-08-02

3. Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07

4. Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic;Journal of Automated Reasoning;2017-09-07

5. The Polarized λ -calculus;Electronic Notes in Theoretical Computer Science;2017-06