کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6856080 | 661138 | 2015 | 31 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A cut-free calculus for second-order Gödel logic
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We prove that the extension of the known hypersequent calculus for standard first-order Gödel logic with usual rules for second-order quantifiers is sound and (cut-free) complete for Henkin-style semantics for second-order Gödel logic. The proof is semantic, and it is similar in nature to Schütte and Tait's proof of Takeuti's conjecture.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 276, 1 October 2015, Pages 1-30
Journal: Fuzzy Sets and Systems - Volume 276, 1 October 2015, Pages 1-30
نویسندگان
Ori Lahav, Arnon Avron,