منطق های غیرکلاسیک از دیدگاه جبری
نوع مدرک
Textمقاله علمی - مروری
زبان مدرک
فارسیچکیده
در این مقاله، مروری داریم بر منطق کلاسیک و جبر مربوط به آن، سپس مفهوم جبری کردن منطق های غیرکلاسیک را مورد مطالعه قرار می دهیم و مثالهایی از آن را با دید جبری می آوریم. جبر منطق چندارزشی پایه BL را مطالعه کرده، تعمیم های آن را بررسی می کنیم. در پایان، آخرین تحقیقات بر روی این تعمیم ها را مطرح می کنیم.
کلید واژگان
منطق کلاسکمنطق جبری
جبری کردن
جبرهای بولی
منطق مثبت
منطق موجه
منطق استلزامی
منطق چندارزشی
جبرهای BL
منطق ریاضی
شماره نشریه
35تاریخ نشر
2005-09-231384-07-01
