Sequent reconstruction in LLM -- A sweepline proof
From MaRDI portal
Publication:1892938
DOI10.1016/0168-0072(94)00033-YzbMath0830.03027MaRDI QIDQ1892938
Publication date: 26 July 1995
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
linear logic; computational geometry; graph structures; sequent; proof-nets; sequentialization theorem; standard layout; sweepline algorithms
68U05: Computer graphics; computational geometry (digital and algorithmic aspects)
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Parsing MELL proof nets, Proof nets sequentialisation in multiplicative linear logic, Connection methods in linear logic and proof nets construction, Proof nets, garbage, and computations, Unnamed Item
Cites Work