مقایسه منطق های فازی شهودی تاکوتی-تیتانی و آتاناسوف

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