|
|
|
|
نظریه معناشناسی نقاط ثابت کریپکی
|
|
|
|
|
|
|
|
نویسنده
|
اردشیر محمد ,سیاوشی احسان
|
|
منبع
|
ذهن - 1389 - دوره : 11 - شماره : 42 - صفحه:82 -97
|
|
|
|
|
|
|
|
کلیدواژه
|
نظریه صدق، نقطه ثابت، پارادکس دروغگو، جمله راستگو، معناشناسی، منطق سه ارزشی
|
|
آدرس
|
دانشگاه صنعتی شریف, دانشکده ریاضی, ایران, دانشگاه صنعتی شریف, ایران
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|