منطق موجهات و شهودگرایی

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): محمد اردشیر
Publisher: Sharif University
Year: 2022

Language: فارسی
Pages: 61
City: Tehran
Tags: logic,modal logic,Intuitionistic logic

پیش‌گفتار
منطق کلاسیک
معناشناسی منطق گزاره‌ای
نظریه‌ی برهان منطق گزاره‌ای
قضایای درستی و تمامیت
زبان منطق مرتبه اوّل
معناشناسی منطق مرتبه اوّل
نظریّه برهان در منطق مرتبه اوّل
اصول و قواعد منطق مرتبه اوّل در دستگاه هیلبرتی
روش استنتاج طبیعی
استقرا روی طول درخت
قضایای درستی و تمامیت
منطق موجهات
زبان منطق موجهات
معناشناسی منطق موجهات
نظریه‌ی برهان در منطق موجهات
قضایای صحت و تمامیت در منطق موجهات
نظریه مدل‌ها در منطق موجهات
پالایش
دوشبیه‌سازی
منطق شهودگرایانه‌ی گزاره‌ای
زبان منطق شهودگرایانه
معناشناسی منطق شهودگرایانه
مدل‌های کریپکی
معناشناسی BHK
نظریه برهان در منطق شهودگرایانه
روش هیلبرتی
دستگاه استنتاج طبیعی
قضایای صحت و تمامیت در منطق شهودگرایانه
خاصیت فصلی
نشاندن C در I
ترجمه‌ی منفی گودل-گنتزن
ترجمه‌ی دونقیضه‌ی کولموگروف
قضیه‌ی گلیونکو
نشاندن I در S4
تصمیم‌پذیری منطق شهودگرایانه
منطق شهودگرایانه و منطق‌های چندارزشی