Corpus ID: 18124270

Proof Strategies in Linear Logic Proof Strategies in Linear Logic

@inproceedings{Tammet1994ProofSI,
  title={Proof Strategies in Linear Logic Proof Strategies in Linear Logic},
  author={Tanel Tammet},
  year={1994}
}
  • Tanel Tammet
  • Published 1994
  • Linear logic, introduced by J.-Y.Girard, is a reenement of classical logic providing means for controlling the allocation of \resources". It has aroused considerable interest both from proof theorists and computer scientists. In this paper we investigate methods for automated theorem proving in propositional linear logic. Both the \bottom-up" and \top-down" (resolution) proof strategies are analyzed { various modiications of sequent rules and eecient search strategies are presented along with… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-4 OF 4 CITATIONS

    The Inverse Method

    VIEW 1 EXCERPT
    HIGHLY INFLUENCED

    The ILLTP Library for Intuitionistic Linear Logic

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-9 OF 9 REFERENCES

    Logic Programming with Focusing Proofs in Linear Logic

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Decision Problems for Propositional Linear Logic

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Logic programming in a fragment of intuitionistic linear logic

    • Joshua S. Hodas, Dale Miller
    • Mathematics, Computer Science
    • [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
    • 1991

    Proof-search strategies for methods of the resolution type

    • S.Ju. Maslov
    • Machine Intelligence
    • 1971
    VIEW 1 EXCERPT