کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661963 1633468 2014 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Possible world semantics for first-order logic of proofs
ترجمه فارسی عنوان
معنای جهان ممکن برای منطق مرتبه اول اثبات
ترجمه چکیده
این مقاله به سرگی آرتموف، یک همکار و افتخار افتخاری اختصاص داده شده است، که چیزهای فوق العاده ای را برای بقیه ما برای انجام بازی ساخته است.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
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
نویسندگان
,