Linguistic application of first order intuitionistic linear logic

DOI10.1023/A:1008399708659zbMath0984.03028MaRDI QIDQ5946340

Mario Piazza, Richard Moot

Publication date: 5 May 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

Lambek calculusproof theoryapplications to linguisticsembedding translationsfirst-order multiplicative intuitionistic fragment of linear logiclocality conditionsproof netsquantifier scopingrelativization

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (9)

Logical approximation for program analysis ⋮ Natural language semantics and computability ⋮ Making first order linear logic a generating grammar ⋮ The displacement calculus ⋮ Multimodality in the Hypergraph Lambek Calculus ⋮ Unnamed Item ⋮ A Note on Multidimensional Dyck Languages ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Dutch Grammar and Processing: A Case Study in TLG

This page was built for publication: Linguistic application of first order intuitionistic linear logic