Parsing MELL proof nets

DOI10.1016/S0304-3975(99)00299-6MaRDI QIDQ5940925zbMATH OpenFDO

Authors Stefano Guerrini, Andrea Masini

Publication date 20 August 2001

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(99)00299-6

zbMATH Keywords

passingrewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Cyclic multiplicative proof nets of linear logic with an application to language parsing
• Model-checking parse trees
• scientific article; zbMATH DE number 937366
• scientific article; zbMATH DE number 1696588
• Parsing as non-Horn deduction
• Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
• A new correctness criterion for MLL proof nets
• scientific article; zbMATH DE number 1063800
• Principles and implementation of deductive parsing

Cites work

• Coherence for sharing proof-nets
• Constant-only multiplicative linear logic is NP-complete
• scientific article; zbMATH DE number 2185715 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 786489 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• Linear logic
• Sequent reconstruction in LLM -- A sweepline proof
• The structure of multiplicatives

Cited in

(13)

• Proof nets, garbage, and computations
• Proof nets for classical logic
• Proof diagrams for multiplicative linear logic: syntax and semantics
• Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
• Using and parsing the Mizar language
• Rewritings for polarized multiplicative and exponential proof structures
• Cyclic multiplicative proof nets of linear logic with an application to language parsing
• scientific article; zbMATH DE number 1104363 (Why is no real title available?)
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• Proof diagrams for multiplicative linear logic
• Proof nets for first-order additive linear logic
• Correctness of linear logic proof structures is NL-complete
• A linear algorithm for MLL proof net correctness and sequentialization

This page was built for publication: Parsing MELL proof nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5940925)