泰然自若
发表于 2025-3-25 05:45:42
https://doi.org/10.1007/978-3-642-31262-5lambda grammar; push-down automata; semantics; transductions; type theory
鲁莽
发表于 2025-3-25 08:50:41
http://reply.papertrans.cn/59/5882/588130/588130_22.png
Innovative
发表于 2025-3-25 15:22:55
Logical Aspects of Computational Linguistics978-3-642-31262-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
prediabetes
发表于 2025-3-25 16:59:16
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.
价值在贬值
发表于 2025-3-25 23:51:04
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
发表于 2025-3-26 02:50:09
http://reply.papertrans.cn/59/5882/588130/588130_26.png
警告
发表于 2025-3-26 06:31:31
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.
违抗
发表于 2025-3-26 08:39:07
Denis Béchet,Alexander DikovskyFast-track conference proceedings.State-of-the-art research.Up-to-date results
freight
发表于 2025-3-26 13:53:35
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588130.jpg
充气女
发表于 2025-3-26 19:05:27
http://reply.papertrans.cn/59/5882/588130/588130_30.png