کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661846 1633464 2014 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A feasible theory of truth over combinatory algebra
ترجمه فارسی عنوان
نظریه امکان سنجی حقیقت بر جبر ترکیبی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
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
نویسندگان
,