Higher Order Logic

Consideration of the question of meaning in the frame- work of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about …...

This paper presents a system that compo- sitionally maps outputs of a wide-coverage Japanese CCG parser onto semantic represen- tations and performs automated inference in higher-order logic. The system is …...