Linguistic application of first order intuitionistic linear logic

DOI10.1023/A:1008399708659MaRDI QIDQ5946340zbMATH OpenFDO

Authors Richard Moot, Mario Piazza

Publication date 5 May 2002

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

Full work available at URL https://doi.org/10.1023/A:1008399708659

zbMATH Keywords

applications to linguisticsembedding translationsfirst-order multiplicative intuitionistic fragment of linear logicLambek calculuslocality conditionsproof netsproof theoryquantifier scopingrelativization

Mathematics Subject Classification ID

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

Recommendations

• Quantifiers, anaphora, and intensionality
• Non-commutative linear logic in linguistics
• scientific article; zbMATH DE number 1341539
• Extended Lambek calculi and first-order linear logic
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

Cited in

(16)

• Logical approximation for program analysis
• Natural language semantics and computability
• The displacement calculus
• Dutch Grammar and Processing: A Case Study in TLG
• scientific article; zbMATH DE number 4068335 (Why is no real title available?)
• scientific article; zbMATH DE number 1341538 (Why is no real title available?)
• scientific article; zbMATH DE number 1341539 (Why is no real title available?)
• AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES
• A note on multidimensional Dyck languages
• Extended Lambek calculi and first-order linear logic
• Making first order linear logic a generating grammar
• Multimodality in the Hypergraph Lambek Calculus
• From double pushout grammars to hypergraph Lambek grammars with and without exponential modality
• Linear logic in a refutational setting
• Non-commutative linear logic in linguistics
• An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words

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

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