for First Order Linear Logic Paola Bruscoli and Alessio Guglielmi Technische...  Home/Search
Context
Related
| iccl.tudresden.de/~paola/sps...sps.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We start from the Forum presentation of first order linear logic to design an equivalent system for which proof search is highly structured. We restrict formulae to a language of clauses and goals, without losing expressivity, in such a way that formulae have the same structure of Forum sequents. This means having a very big generalised connective that su#ces for all of linear logic. We can then design a system with only two big rules, a left one and a right one. The behaviour of such... (Update)
Active bibliography (related documents): More All
0.3: A Systematic Proof Theory for Several Modal Logics (Extended .. - Stewart, Stouppa (2004) (Correct)
0.3: A Systematic Proof Theory for Several Modal Logics - Charles Stewart And (2003) (Correct)
0.2: On Structuring Proof Search for First Order Linear Logic - Bruscoli, Guglielmi (2004) (Correct)
Similar documents based on text: More All
0.8: A Tutorial on Proof Theoretic Foundations of Logic Programming - Bruscoli, Guglielmi (2003) (Correct)
0.8: Expressiveness of the logic programming language Forum in.. - Bruscoli, al. (1994) (Correct)
0.6: A Purely Logical Account of Sequentiality in Proof Search - Bruscoli (2002) (Correct)
BibTeX entry: (Update)
@misc{ order-structuring,
author = "For First Order",
title = "On Structuring Proof Search",
url = "citeseer.ist.psu.edu/723661.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
81 A multiple-conclusion meta-logic - Miller - 1994
65 A local system for classical logic - Brunnler, Tiu - 2001
43 A purely logical account of sequentiality in proof search - Bruscoli - 2002
26 Part I: A tutorial on proof systems and typed #-calculi (context) - Gallier - 1993
16 Forum: A multiple-conclusion specification logic (context) - Miller - 1996
11 Abstract Logic Programming in Linear Logic---Independence an.. (context) - Guglielmi - 1996
3 Submitted to ACM Transactions on Computational Logic (context) - Guglielmi, of et al. - 2002
1 On structuring proof search for first order linear logic - Bruscoli, Guglielmi - 2003
1 URL: http://www (context) - Straburger, the et al. - 2001
Documents on the same site (http://alessio.guglielmi.name/res/sc/index.html): More
A Tutorial on Proof Theoretic Foundations of Logic Programming - Bruscoli, Guglielmi (2003) (Correct)
On Structuring Proof Search for First Order Linear Logic - Bruscoli, Guglielmi (2004) (Correct)
September 2003 Invited tutorial at ICLP '03 - Atutorial On Proof (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC