بررسي ساختار نحوي و معنايي منطق اثبات پذيري

مقطع تحصيلي

كارشناسي ارشد

رشته تحصيلي

فلسفه گرايش فلسفه منطق

دانشكده

دانشكده ادبيات و علوم انساني، گروه فلسفه

تاريخ دفاع

مهرماه 1396

صفحه شمار

۸۷ ص.

استاد راهنما

مرتضي حاج حسيني

استاد مشاور

مقداد قاري

كليدواژه فارسي

قضاياي ناتماميت گودل , قضيه لوب , حساب پئانو , محمول اثبات پذيري , صدق , نظام موجه نرمال

تاريخ نمايه سازي

1396/12/15

نام نمايه ساز

صديقه رمضاني

كليدواژه لاتين

Gödel’s incompleteness theorems , Löb’s theorem , Peano arithmetic , provability predicate , truth , normal modal system

عنوان لاتين

A survey on syntax and semantic of provability logic

نويسنده

زادهوش، فاطمه

لينک به اين مدرک