back(sel(named John " )e) ? ¬happy(sel(?x.childx ? has(sel(?y.maley ? humany)e b )x)e b ) ? ?e b where e b, p.= upd(back(sel ,
Then ? Curry N : ? =? exists M ? ? T such that ? Church M : ? and |M ,
Both (1) and (2) are proved by induction on the given derivation ,
for profound introductions to the two typing styles and their detailed comparisons. Bibliography [Ajdukiewicz, 1935] Kazimierz Ajdukiewicz. Die syntaktische konnexität A montagovian treatment of modal subordination, page: 25] [Aristotle, 350 BCE] Aristotle. Prior Analytics. 350 B.C.E. [cited in page: 240] [Asher and Pogodalla, 2010a] Nicholas Asher and Sylvain Pogodalla SALT 20, pp.1-27, 1935. ,
SDRT and Continuation Semantics, Logic and Engineering of Natural Language Semantics (LENLS), p.121, 2010. ,
DOI : 10.1017/S0959269505002073
URL : https://hal.archives-ouvertes.fr/inria-00565744
Reference to Abstract Objects in Discourse [cited in page: 2, 70] [Barendregt, 1981] Henk Barendregt. The Lambda Calculus: Its Syntax and Semantics, p.271, 1981. ,
Lambda calculi with types Handbook of Logic in Computer Science, volume II, pp.271-279, 1992. ,
Donkey anaphora is inscope binding, Semantics and Pragmatics, vol.1, issue.1, pp.1-46, 2008. ,
DOI : 10.3765/sp.1.1
URL : http://doi.org/10.3765/sp.1.1
Model theory, p.11, 1990. ,
Philippe de Groote and Ekaterina Lebedeva. Presupposition accommodation as exception handling, Proceedings of the SIGDIAL, 2010. ,
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms, Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter Proceedings of the Conference Thirteenth Amsterdam Colloquium Proceedings of the sixth International Workshop on Tree Adjoining Grammars and Related Frameworks Semantics and Linguistic Theory XVI Scopes in discourse. Language and Computation, pp.421-438, 1999. ,
DOI : 10.1007/s10849-004-2114-x
URL : https://hal.archives-ouvertes.fr/inria-00112956
[cited in page: 8], Introduction to Montague Semantics. D. Reidel, vol.23, issue.27, 1981. ,
The epsilon operator and E-type pronouns, Lexical Knowledge in the Organization of Language, pp.121-141, 1995. ,
DOI : 10.1075/cilt.114.07egl
Gottlob Frege. Compound thoughts. Mind, cited in page: 10] [Gamut, 1991] L. T. F. Gamut. Logic, language, and meaning, pp.1-17, 1952. ,
Pragmatics: Implicature, Presupposition and Logical Form [cited in page: 54, 61] [Geach, 1962] Peter Thomas Geach. Reference and Generality, p.49, 1962. ,
Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
Universal Algebra, 1979. ,
DOI : 10.1007/978-0-387-77487-9
Logic and conversation, Syntax and Semantics, pp.41-58, 1975. ,
Jeroen Groenendijk and Martin Stokhof Dynamic Montague grammar, Proceedings of the Second Symposion on Logic and Language, pp.3-48, 1990. ,
Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991. ,
DOI : 10.1007/BF00628304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.2292
Dynamic logic, Handbook of Philosophical Logic, pp.497-604, 1984. ,
The Semantics of Definite and Indefinite Noun Phrases, pp.45-48, 1982. ,
File Change Semantics and the Familiarity Theory of Definites, Meaning, Use and Interpretation of Language, pp.164-189, 1983. ,
Lambda-Calculus and Combinators, an Introduction, pp.271-279, 2008. ,
DOI : 10.1017/CBO9780511809835
Game-theoretic semantics The Handbook of Logic and Language, pp.361-410, 1997. ,
Interpretation as abduction, Artificial Intelligence, vol.63, issue.12, p.241, 1993. ,
DOI : 10.3115/982023.982035
URL : http://acl.ldc.upenn.edu/P/P88/P88-1012.pdf
Abduction in natural language understanding, pp.240-241, 2004. ,
A shorter model theory [cited in page: 11] The syntax/semantics interface in categorial grammar The Handbook of Contemporary Semantic Theory, Blackwell, pp.89-116, 1997. ,
The Handbook of Logic and Language, pp.417-473, 1997. ,
From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory [cited in page: 2, 45, 63, 69] [Kamp, 1981] Hans Kamp. A theory of truth and semantic representation, Formal Methods in the Study of Language Truth, Interpretation, and Information; Selected Papers from the Third Amsterdam Colloquium, pp.277-322, 1981. ,
On the logic of demostratives [cited in page: 44, 45] [Karttunen, 1973] Lauri Karttunen, Presuppositions and Linguistic Context. Theoretical Linguistics, pp.81-98167, 1970. ,
Semantical analysis of modal logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp.67-96, 1963. ,
The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958. ,
DOI : 10.2307/2310058
On the calculus of syntactic types, Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics, pp.166-178, 1961. ,
DOI : 10.1090/psapm/012/9972
Using proofs to compute implicatures, CiE 2010 Conference. Abstract and Handout Booklet, p.240, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00545494
CYC: a large-scale investment in knowledge infrastructure, Communications of the ACM, vol.38, issue.11, pp.55-250, 1983. ,
DOI : 10.1145/219717.219745
Hyperintensional Dynamic Semantics, Lecture Notes in Computer Science, vol.105, pp.96-121, 2010. ,
DOI : 10.1007/978-3-642-32024-8_8
A higher-order theory of presupposition. Special Issue on Logic and Natural Language, p.105, 2011. ,
The Definition of Standard ML [cited in page: 148] [Montague, 1968] Richard Montague. Pragmatics La Nuova Italia Editrice, 1968. [cited in page: 43, 95] [Montague, 1970a] Richard Montague. English as a formal language, Linguaggi nella e nella Tecnica, pp.102-122, 1970. ,
Universal grammar [cited in page: 1, 22, 23, 41, 143] [Montague, 1973] Richard Montague. The proper treatment of quantification in ordinary english, Theoria Approaches to Natural Language: proceedings of the 1970 Stanford workshop on Grammar and Semantics, pp.373-398, 1970. ,
Lambda-my-calculus: An algorithmic interpretation of classical natural deduction, LPAR, pp.190-201, 1992. ,
Montague grammar and transformational grammar [cited in page: 22, 23, 27] [Partee The development of formal semantics in linguistic theory The Handbook of Contemporary Semantic Theory [cited in page: 23, 29] [Partee, 1997b] Barbara H. Partee. Montague grammar, Linguistic Inquiry The Handbook of Logic and Language, pp.203-300, 1975. ,
Call-by-name, call-by-value and the lambdacalculus [cited in page: 82] [Pogodalla, 2004] Sylvain Pogodalla Computing semantic representation: Towards ACG abstract terms as derivation trees, Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), pp.125-159, 1975. ,
Toward a mathematical semantics for computer languages, the Symposium on Computers and Automata, volume XXI, pp.19-46, 1971. ,
A continuation semantics of interrogatives that accounts for Baker's ambiguity. CoRR, p.90, 2002. ,
Delimited continuations in natural language, Proceedings of the Fourth ACM SIGPLAN Continuations Workshop, p.90, 2004. ,
Linguistic Side Effects [cited in page: 43, 148] [Stalnaker, 1970] Robert Stalnaker [cited in page: 44, 45] [Stalnaker, 1973] Robert Stalnaker. Presuppositions Pragmatic presuppositions, Semantics and Philosophy Syntax and Semantics] [Stalnaker, 1999] Robert Stalnaker. Context and Content: Essays on Intentionality in Speech and Thought, pp.272-289447, 1970. ,
Continuations: A mathematical semantics for handling full jumps, p.81, 1974. ,
Continuations: A mathematical semantics for handling full jumps. Higher-Order and Symbolic Computation, pp.135-152, 1950. ,
Introduction to Logical Theory [cited in page: 58, 59] [Tarski, 1944] Alfred Tarski. The semantic conception of truth, Philosophy and Phenomenological Research, vol.4, p.22, 1944. ,
Essays in Logical Semantics Johan van Benthem. The semantics of variety in categorial grammar Categorial Grammars Context and Presupposition [cited in page: 54, 61] [van der Sandt, 1992] Rob A. van der Sandt. Presupposition projection as anaphora resolution Representing discourse in context The Handbook of Logic and Language Discourse representation in context, Logic, Semantics, Metamathematics Handbook of Logic and Language, pp.152-278333, 1956. ,
Common knowledge The Stanford Encyclopedia of Philosophy, p.120, 2009. ,
Definite descriptions and choice functions Logic, Language and Computation. Dordrecht, 1997. [cited in page: 48] [Wittgenstein, 1921] Lugwig Wittgenstein. Logisch-philosophische abhandlung, Annalen der Naturphilosophie, p.45, 1921. ,