|
در باب ردهبندی تئوریهای مرتبه اول
|
03 شهریور 1400 |
|
رویکردها و نتایجی در نظریه مدل نوین
|
26 تیر 1400 |
|
استنتاج بهترین تبیین در سنت عقلیِ جهان اسلام
|
26 تیر 1400 |
|
محاسبهپذیری روی اعداد حقیقی
|
02 خرداد 1400 |
|
خواص ساختاری چه هستند؟
|
23 فروردين 1400 |
|
تاثیر مبانی معرفتشناختی و هستیشناختی سهروردی در نقد نظریه تعریف مشائیان
|
20 آذر 1399 |
|
بنیانهای زیستی منطق
|
03 آذر 1399 |
|
نظایر شهودی قضیه لوش-تارسکی
|
27 مرداد 1399 |
|
چیست آنچه ما آن را «اثبات ریاضیاتی» مینامیم؟
|
04 مرداد 1399 |
|
درستی جملات گودلی و راسری
|
02 تیر 1399 |
|
در بارهی زمان: پنجرهای جدید به دنیای منطقهای زیرشهودی
|
23 بهمن 1398 |
|
دربارهی استدلالی غیرصوری در مقالهی کلاسیکِ گودل (۱۹۳۱)
|
02 آذر 1398 |
|
Friedman's Theorem: from standard systems to fixed points
|
09 شهریور 1398 |
|
منطق (وجهی) احتمال
|
01 شهریور 1398 |
|
Linear Algebraic Semantics for Natural Language
|
29 مرداد 1398 |
|
معرفی منطق جبری جامع
|
29 مرداد 1398 |
|
Continuous logic and its fragments
|
29 مرداد 1398 |