天真
发表于 2025-3-30 11:35:23
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.
无能力
发表于 2025-3-30 14:31:19
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.
直觉没有
发表于 2025-3-30 19:09:38
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
发表于 2025-3-30 20:45:45
http://reply.papertrans.cn/59/5881/588049/588049_54.png
断断续续
发表于 2025-3-31 04:29:14
http://reply.papertrans.cn/59/5881/588049/588049_55.png
神圣将军
发表于 2025-3-31 06:08:02
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.
娘娘腔
发表于 2025-3-31 12:56:20
http://reply.papertrans.cn/59/5881/588049/588049_57.png
Affirm
发表于 2025-3-31 13:24:07
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
实施生效
发表于 2025-3-31 20:54:19
10楼
HOWL
发表于 2025-3-31 23:17:13
10楼