عنوان :
تصميم ناپذيري منطق محمولات پاپه با دامنه ثابت
ناشر :
دانشگاه صنعتي شريف ، دانشكده علوم رياضي
كليدواژه :
تصميم ناپذيري , دامنه ثابت , منطق محمولات پايه
چكيده :
منطق محمولات پايه يك زيرمنطق منطق شهودگروي است در اين مقاله ثابت شده است كه منطق محمولات پايه با دامنه ثابت و بايك محمول يك موضعي تصميم ناپذير است
