ساختارهای پیوسته در منطق فازی مرتبه اول

در منطق های فازی مبتنی برt -نرم پیوسته علی رغم اینکه تعبیر همه روابط منطقی پیوسته نمی باشد، با در نظر گرفتن یک معنی شناسی معکوس، متریکی را روی[0; 1] و 2[0; 1 ]معرفی می کنیم که تحت آن تعبیر همه روابط منطقی پیوسته می شود. این بخش در واقع قسمتی از کارمشترک نویسنده اول و مسعود پورمهدیان می باشد [1]. سپس با ایده گرفتن از منطق پیوسته مرتبه اول، منطق فازی پیوسته مرتبه اول را معرفی می کنیم.