533 search results - page 2 / 107 » Intensional Models for the Theory of Types |
ENGL
2007
13 years 4 months ago
2007
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
ACL
1992
13 years 6 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
ACL
2008
13 years 6 months ago
2008
Despite its long history, and a great deal of research producing many useful algorithms and observations, research in cooperative response generation has had little impact on the ...
ENTCS
2008
13 years 5 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...