مباحثی در دو- BL - جبرها

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

کلیدواژه ها:

BL - جبر ، فیلتر ، دو- BL - جبر ، دو– فیلتر ، ()- مشتق و دو- () -مشتق