2011 | OriginalPaper | Chapter
The Calculus of Responsibility and Commitment
Author : Carl Pollard
Published in: Ludics, Dialogue and Interaction
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Ever since Montague (1974 [1970]) laid the foundations for formally precise analysis of natural language (hereafter NL) semantics in the late 1960’s, the typed lambda calculus (hereafter TLC) and certain of its extensions have been the linguists’ tool of choice for representing the meanings of NL expressions. But starting around the turn of the millenium, motivated by a range of linguistic phenomena collectively known as
covert movement
phenomena, logical grammarians of various persuasions have proposed the use of other semantic term calculi that embody, directly or indirectly, some notion or other of
continuation
.