Underspecified Interpretations in a Curry-typed Representation Language

DOI10.1093/LOGCOM/EXI006MaRDI QIDQ3025330zbMATH OpenOpenAlexFDO

Authors Chris Fox, Shalom Lappin

Publication date 13 July 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL http://sas-space.sas.ac.uk/855/1/S_Lappin_Underspecified.pdf

zbMATH Keywords

Curry-typingintentional semanticsproperty theoryUnderspecified semanticsunresolved scope/readingsuntyped lambda calculus

Mathematics Subject Classification ID

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

Recommendations

• An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
• Curry-typed semantics in type predicate logic
• scientific article; zbMATH DE number 1421199
• scientific article; zbMATH DE number 1794693
• scientific article; zbMATH DE number 1341540

Cited in

(2)

• scientific article; zbMATH DE number 1794692 (Why is no real title available?)
• Curry-typed semantics in type predicate logic

This page was built for publication: Underspecified Interpretations in a Curry-typed Representation Language

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