On type coercion in compositional and lexical semantics

DOI10.1007/978-3-642-23211-4_7zbMATH Open1347.91223OpenAlexW117688195MaRDI QIDQ3172833FDOQ3172833

Carl Vikner, Per Anker Jensen

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23211-4_7

zbMATH Keywords

formal semanticshigher-order lambda calculusgenerative lexiconsemantic typesgenitive constructionsontological subtypessubtype coercion

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Linguistics (91F20)

Cites Work

• Title not available (Why is that?)
• The Logic of Typed Feature Structures

Cited In (3)

• Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic
• Title not available (Why is that?)
• Aspectual Shifts With and Without Type Conflict

   Recommendations

• The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics 👍 👎
• Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic 👍 👎
• Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\) 👍 👎
• Copredication, quantification and frames 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: On type coercion in compositional and lexical semantics

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