|
نظایر شهودی قضیه لوش-تارسکی
|
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 |
