در این مقاله، مروری داریم بر منطق کلاسیک و جبر مربوط به آن، سپس مفهوم جبری کردن منطق های غیرکلاسیک را مورد مطالعه قرار می دهیم و مثالهایی از آن را با دید جبری می آوریم. جبر منطق چندارزشی پایه BL را مطالعه کرده، تعمیم های ...

پس از آن که کانتور نظریه مجموعه ها را معرفی کرد، روش های جدید و غیرمتعارفی در ریاضیات به وجود آمد که واکنش هایی را نسبت به آن برانگیخت. امروزه تقریبا در تمام کتب ریاضی، این روشها به صورت فراگیر مشاهده می شوند و در واقع ...

شرح مختصر زندگانی و فعالیت های علمی کورت گودل، منطق دان بزرگ قرن بیستم.

در این مقاله، نظریه ذهن براوئر را معرفی می کنیم. پس از بیان مبانی فلسفی آن، به صورتبندی های مختلف آن می پردازیم و در خاتمه، چند نتیجه معروف ریاضی آن را به اختصار نام می بریم.

در این مقاله، مروری بر نظریه های مرتبه اول حساب خواهیم داشت. همچنین اشاره خواهیم کرد که زیرنظریه های ضعیف حساب، ارتباط های اساسی با نظریه پیچیدگی دارند. در انتها، اشاره ای به نظریه های مرتبه اول شهودی حساب خواهیم کرد.

منطق فازی که در آن ارزش درستی هر گزاره، یک زیرمجموعه فازی از بازه واحد است، معرفی و وجوه اصلی آن بررسی می شود. نخست مروری بر منطق های دو ارزشی می کنیم و آنگاه به معرفی منطق فازی می پردازیم. در این زمینه، متغیرهای زبانی، ...

از ابتدای پیدایش حساب دیفرانسیل و انتگرال تاکنون، ایده بی نهایت کوچکها ابزار شهودی مناسبی برای یافتن نتایج جدید در آنالیز بوده است. لایب نیتز می گفت «من به آنها ایمان دارم هرچند توجیه کافی برای آنها ندارم». حدود چهل سال ...

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده ...