Natural Logic for Natural Language

We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the definition of monotonicity preserving and monotonicity reversing functions in terms of ≤. Next, we present a new algorithm for polarity marking, and implement this for a particular fragment of syntax. Finally, we list the reseach agenda that these definitions and this algorithm suggest. The implementations use Haskell [8], and are given in ‘literate programming’ style [9].

• Type: Conference
• Year: 2005
• Where: TBILLC
• Authors: Jan van Eijck
• Keywords: Logical Consequence Relation, Monotonicity Reversing Functions, Partial Order, TBILLC 2005