Titlebook: Logic, Language, Information and Computation; 14th International W Daniel Leivant,Ruy Queiroz Conference proceedings 2007 Springer-Verlag B

天真

Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus, characterize its notion of type similarity in comparison with the other categorial systems. From the linguistic point of view, we show that . naturally accommodates non-local semantic construal and displacement — phenomena that are problematic for the original Lambek calculi.

無能力

Fully Lexicalized Pregroup Grammars,using a morphism on types, a particular pregroup grammar into another pregroup grammar that uses the equality as the order on primitive types. This transformation is at most quadratic in size (linear for a fixed set of primitive types), it preserves the parse structures of sentences and the number of types assigned to a word.

直覺沒有

A Grammatical Representation of Visibly Pushdown Languages,tical representation of .VPLs and the corresponding finite word languages – VPL. From a specification viewpoint, the grammatical representation provides a more natural representation than the automata approach.

gonioscopy

斷斷續(xù)續(xù)

神圣將軍

A Formal Calculus for Informal Equality with Binding,ise systems of logic and computation such as first-order logic or the lambda-calculus in a very direct and natural way. We investigate the theory of derivations, prove a suitable semantics sound and complete, and discuss existing and future research.

娘娘腔

Affirm

Conference proceedings 2007formation and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of foste

實(shí)施生效

10樓

HOWL

10樓