منابع مشابه
Predicative degree constructions in Spanish1
This article explores adjectival degree constructions formed around the copular element de ‘of’ in Spanish such as un montón de listo (a load of smart, ‘considerably smart’), como tú de gordo (like you of fat, ‘as fat as you’), and así de alto (this of tall, ‘this tall’.) In these constructions, a predication relation takes place between the degree to which the property denoted by the adjective...
متن کاملConsistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
In order to avoid well-know paradoxes associated with self-referential definitions, higher-order dependent type theories stratify the theory using a countably infinite hierarchy of universes (also known as sorts), Type0 : Type1 : · · · . Such type systems are called cumulative if for any type A we have that A : Typei implies A : Typei+1. The predicative calculus of inductive constructions (pCIC...
متن کاملComments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملCoq à la Tarski: a predicative calculus of constructions with explicit subtyping
The predicative Calculus of Inductive Constructions (pCIC), the theory behind the Coq proof system, contains an infinite hierarchy of predicative universes T ype 0 ∈ T ype 1 ∈ T ype 2 ∈. .. and an impredicative universe P rop for propositions, together with an implicit cumulativity relation P rop ⊆ T ype 0 ⊆ T ype 1 ⊆ T ype 2 ⊆. .. . Subtyping in Coq is implicit, and is handled by the kernel. A...
متن کاملRead Your Published Papers
سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره نوزدهم، دی 1399، 1014-1013 مقالات منتشر شده خودتان را بخوانید Read Your Published Papers محسن رضائیان[1] M. Rezaeian تا کنون در مجله دانشگاه، پیرامون مطالعه مستمر یک مقاله قبل از چاپ آن توسط نویسندگان، نکات مهمی را به رشته تحریر در آورده‌ایم [3-1]. مطالعه‌ی چند باره یک مقاله، قبل از آن که مقاله منتشر گردد،...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ZAS Papers in Linguistics
سال: 2001
ISSN: 1435-9588
DOI: 10.21248/zaspil.22.2001.98