Labelled proof nets for the syntax and semantics of natural languages

DOI10.1093/JIGPAL/7.5.629MaRDI QIDQ4934058zbMATH OpenOpenAlexFDO

Authors Guy Perrier

Publication date 17 January 2000

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/64fc2eeef8e7deb917bbbfb2cdbe616484be5b22

zbMATH Keywords

implicative fragment of intuitionistic linear logiclabelled proof netslinguistic modelnatural languagessemanticssyntax

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65)

Recommendations

• Publication:4939014
• Publication:4946232
• scientific article; zbMATH DE number 1689859
• scientific article; zbMATH DE number 937366
• Proof nets and the complexity of processing center embedded constructions

Cited in

(11)

• Proof nets and the complexity of processing center embedded constructions
• Language and proof theory. Preface to the special issue on ``Proof theory and natural language
• scientific article; zbMATH DE number 1689859 (Why is no real title available?)
• scientific article; zbMATH DE number 1341538 (Why is no real title available?)
• scientific article; zbMATH DE number 1104359 (Why is no real title available?)
• scientific article; zbMATH DE number 1104363 (Why is no real title available?)
• scientific article; zbMATH DE number 1406013 (Why is no real title available?)
• scientific article; zbMATH DE number 1421191 (Why is no real title available?)
• scientific article; zbMATH DE number 1421203 (Why is no real title available?)
• ILF-SETHEO
• Proof-nets, hybrid logics and minimalist representations

This page was built for publication: Labelled proof nets for the syntax and semantics of natural languages

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