Lexicalized Proof-Theoretic Semantics for Natural Language

语言理论需要处理（至少）两个方面：形式和意义。形式是语法的领域。本研究的重点是意义（语义学）理论，它试图用证明取代复杂数学领域的外延，再次暗示形式。这项研究基于（哲学家维特根斯坦的）一个古老的观点，即一个词的意义是它在语言中的用法，以及逻辑学家关于引入和使用逻辑符号的规则之间的和谐的观点。预期的应用是允许开发更好的计算技术来理解自然语言的片段。

A theory of language needs to deal with (at least) two facets: form and meaning. Form is the territory of Syntax. This research focuses on a theory of meaning (semantics), which attempts to replace denotation in complicated mathematical domains by proof, again alluding to form. The research is based on the old idea (of the philosopher Wittgenstein) that the meaning of a word is its use in language, together with ideas from logicians about harmony between rules for introducing and using logical symbols.The intended application is to allow development of better computational techniques for making sense of fragments of natural language.