کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661963 | 1633468 | 2014 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Possible world semantics for first-order logic of proofs
ترجمه فارسی عنوان
معنای جهان ممکن برای منطق مرتبه اول اثبات
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ترجمه چکیده
این مقاله به سرگی آرتموف، یک همکار و افتخار افتخاری اختصاص داده شده است، که چیزهای فوق العاده ای را برای بقیه ما برای انجام بازی ساخته است.
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
This paper is dedicated to Sergei Artemov, an honored colleague and friend, who has made wonderful things for the rest of us to play with.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 225-240
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 225-240
نویسندگان
Melvin Fitting,