Indelible
发表于 2025-3-23 10:24:37
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps,is inspired by . tasks (e.g. . in mathematics and natural sciences). The key idea is to replace implicit . descriptions of the consequences in search spaces (i.e. the problem specification) by . ones (describing the . of such consequences). The approach profits from the expressive power of term sche
专心
发表于 2025-3-23 16:01:36
Continuation Semantics for Symmetric Categorial Grammar,the antecedent a structured configuration of formulas ..,...,... The absence of structural context in the succedent makes the analysis of a number of phenomena in natural language semantics problematic. A case in point is scope construal: the different possibilities to build an interpretation for se
常到
发表于 2025-3-23 18:26:21
http://reply.papertrans.cn/59/5881/588049/588049_13.png
使服水土
发表于 2025-3-23 23:49:48
http://reply.papertrans.cn/59/5881/588049/588049_14.png
吗啡
发表于 2025-3-24 03:37:55
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordinnce is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means of a new dynamic system couched in cl
宣传
发表于 2025-3-24 07:17:04
On Principal Types of BCK-,-Terms, principal types of BCK-.-terms. In 1993 Sachio Hirokawa gave a characterization of the set of principal types of BCK-.-terms in .-normal form based on a relevance relation that he defined between the type variables in a type. We define a symmetric notion of this and call it dependence relation. The
ALIAS
发表于 2025-3-24 12:48:13
A Finite-State Functional Grammar Architecture, by finite state tree top-down transducers applied to feature trees to convert them into sequences of typed forms (typed sentences). The correctness of the generated types is checked using a simple and efficient dependency calculus. The corresponding dependency structure is extracted from the correc
installment
发表于 2025-3-24 16:31:37
Pregroup Calculus as a Logic Functor,pregroup calculus so as to extend it by composition with other logics and calculii.The . and the .property of the sequent calculus proposed in the article are shown.Properties of composed calculii are also discussed.
Phagocytes
发表于 2025-3-24 20:00:29
A Formal Calculus for Informal Equality with Binding,variables can and cannot occur free. We describe a logical derivation system which allows a direct formalisation of such assertions, along with a direct formalisation of their constraints. We base our logic on equality, probably the simplest available judgement form. In spite of this, we can axiomat
事与愿违
发表于 2025-3-25 01:35:08
http://reply.papertrans.cn/59/5881/588049/588049_20.png