An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics

DOI10.1093/JIGPAL/12.2.135zbMath1069.03016OpenAlexW2016613875MaRDI QIDQ4821651

Chris Fox, Shalom Lappin

Publication date: 21 October 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8a138c25509ae8c8da534ec9fdb48f826471ce29

zbMATH Keywords

polymorphic typeCurry typingnatural language logic

Mathematics Subject Classification ID

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

This page was built for publication: An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics