Labelled proof nets for the syntax and semantics of natural languages

DOI10.1093/JIGPAL/7.5.629zbMATH Open0937.03040OpenAlexW2086216508MaRDI QIDQ4934058

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

semanticslinguistic modelsyntaxnatural languagesimplicative fragment of intuitionistic linear logiclabelled proof nets

Mathematics Subject Classification ID

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

Related Items (2)

Title not available (Why is that?) ⋮ ILF-SETHEO

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)