Sequent reconstruction in LLM-A sweepline proof

    Research output: Contribution to journalArticlepeer-review


    An alternative proof is given that to each LLM proof net there corresponds at least one LLM sequent proof. The construction is inspired by the sweepline technique from computational geometry and includes a treatment of the multiplicative constants and of proof boxes. © 1995.
    Original languageEnglish
    Pages (from-to)277-295
    Number of pages18
    JournalAnnals of Pure and Applied Logic
    Issue number3
    Publication statusPublished - 15 Jun 1995


    Dive into the research topics of 'Sequent reconstruction in LLM-A sweepline proof'. Together they form a unique fingerprint.

    Cite this