| منطق گودل گزاره‌ای و بعضی از توسیع‌های آن |
| کد مقاله : 1176-CFIS (R2) |
| نویسندگان |
|
سید محمد امین خاتمی *1، قاسم خاکشور2 1گروه علوم کامپیوتر، دانشگاه صنعتی بیرجند، بیرجند، ایران 2گروه علوم پایه، آموزشکده فنی و حرفه‌ای دختران بیرجند، دانشگاه فنی و حرفه‌ای، بیرجند، ایران |
| چکیده مقاله |
| در این مقاله بعد از مرور منطق گودل و بیان قضیه تمامیت و فشردگی در مورد آن، قضیه فشردگی را در منطق گودل گزاره‌ای تعمیم می‌دهیم. سپس به معرفی بعضی از توسیع‌های منطق گودل که دیدگاه فازی آن را تقویت می‌کنند می‌پردازیم و انواع مختلف قضایای تمامیت و فشردگی را در مورد این توسیع‌ها بررسی می‌کنیم. |
| کلیدواژه ها |
| منطق گودل، توسیع منطق گودل، قضیه تمامیت، قضیه فشردگی |
| وضعیت: پذیرفته شده برای ارائه شفاهی |