Titlebook: Logical Aspects of Computational Linguistics; 7th International Co Denis Béchet,Alexander Dikovsky Conference proceedings 2012 Springer-Ver

泰然自若

https://doi.org/10.1007/978-3-642-31262-5lambda grammar; push-down automata; semantics; transductions; type theory

鲁莽

Innovative

Logical Aspects of Computational Linguistics978-3-642-31262-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

prediabetes

The Non Cooperative Basis of Implicatures,This paper presents and addresses a problem in pragmatics concerning the inference of implicatures within a Gricean framework. I propose a model in which implicatures are reasonable even in the absence of the sort of strong cooperativity supposed by Griceans.

价值在贬值

L-Completeness of the Lambek Calculus with the Reversal Operation,We extend the Lambek calculus with rules for a unary operation corresponding to language reversal and prove that this calculus is complete with respect to the class of models on subsets of free semigroups (L-models). We also prove that categorial grammars based on this calculus generate precisely all context-free languages without the empty word.

Bureaucracy

警告

Dot-types and Their Implementation,Dot-types, as proposed by Pustejovsky and studied by many others, are special data types useful in formal semantics to describe interesting linguistic phenomena such as copredication. In this paper, we present an implementation of dot-types in the proof assistant Plastic base on their formalization in modern type theories.

违抗

Denis Béchet,Alexander DikovskyFast-track conference proceedings.State-of-the-art research.Up-to-date results

freight

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588130.jpg

充气女