کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661846 | 1633464 | 2014 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A feasible theory of truth over combinatory algebra
ترجمه فارسی عنوان
نظریه امکان سنجی حقیقت بر جبر ترکیبی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 5, May 2014, Pages 1009-1033
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 5, May 2014, Pages 1009-1033
نویسندگان
Sebastian Eberhard,