منابع مشابه
Curry-Howard Terms for Linear Logic
In this paper we 1. provide a natural deduction system for full rst-order linear logic, 2. introduce Curry{Howard{style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. deene the reduction rules for the Curry{Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a develop...
متن کاملKey Lexical Chunks in Applied Linguistics Article Abstracts
In any discourse domain, certain chunks are particularly frequent and deserve attention by the novice to be initiated and by the expert to maintain a sense of community. To make a relevant contribution to the awareness about applied linguistics texts and discourse, this study attempted to develop lists of lexical chunks frequently used in the abstracts of applied linguistics journals. The abstr...
متن کاملNew Curry-Howard Terms for Full Linear Logic
In this paper we (1) provide a natural deduction system for full first-order linear logic, (2) introduce Curry-Howard-style terms for this version of linear logic, (3) prove strong normalization for the system, and (4). prove that given a proof of V~‘x3y a(.~, y) and any individual term t we can compute a term u such that a(t,u) is provable.
متن کاملOn the Problem of Theoretical Terms in Empirical Computational Linguistics
Philosophy of science has pointed out a problem of theoretical terms in empirical sciences. This problem arises if all known measuring procedures for a quantity of a theory presuppose the validity of this very theory, because then statements containing theoretical terms are circular. We argue that a similar circularity can happen in empirical computational linguistics, especially in cases where...
متن کاملkey lexical chunks in applied linguistics article abstracts
in any discourse domain, certain chunks are particularly frequent and deserve attention by the novice to be initiated and by the expert to maintain a sense of community. to make a relevant contribution to the awareness about applied linguistics texts and discourse, this study attempted to develop lists of lexical chunks frequently used in the abstracts of applied linguistics journals. the abstr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lexis
سال: 2009
ISSN: 1951-6215
DOI: 10.4000/lexis.1937