Classical Resolution for Many-Valued Logics

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