First-order Glue

DOI10.1007/s10849-006-9031-0zbMath1158.03019OpenAlexW2017184823MaRDI QIDQ1006481

Miltiadis Kokkonidis

Publication date: 24 March 2009

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

Full work available at URL: https://doi.org/10.1007/s10849-006-9031-0

zbMATH Keywords

syntax-semantics interfacecompositional semanticsfirst-order linear logicGluetyping systems

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

Formalizing the IMA Language: Toward the Minimalist Program for Compositional Semantics

Cites Work

• Linear logic
• Quantifiers, anaphora, and intensionality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item