Strong and weak quantifiers in focused NL_CL

DOI10.1007/978-3-662-53826-5_9MaRDI QIDQ2964000zbMATH OpenOpenAlexFDO

Authors Pepijn Kokke

Publication date 22 February 2017

Published in Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-662-53826-5_9

zbMATH Keywords

categorial grammarfocusingindefinite scopescope islands

Mathematics Subject Classification ID

Logic of natural languages (03B65) Linguistics (91F20)

Recommendations

• \(\mathrm{NL}_\lambda\) as the logic of scope and movement
• Basic quantifier theory
• On classical nonassociative Lambek calculus
• scientific article; zbMATH DE number 1163939
• Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\)

Cites work

• Display logic
• Focussing and proof construction
• scientific article; zbMATH DE number 1689576 (Why is no real title available?)
• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• scientific article; zbMATH DE number 6296859 (Why is no real title available?)
• Polarized classical non-associative Lambek calculus and formal semantics

This page was built for publication: Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\)

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