در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری bl و mv جبرها و جبر هایتینگ معرفی می شوند. مشبکه های مانده ای بازه ی مقدار (ivrl) و جبرهای مثلثی را با دو عملگر یکتایی ?,? و یک ثابت غیر قطعی u متفاوت از 0 و 1 را تعریف می کنیم و ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl ) توسیع یافته یک جبر مثلثی است و بر عکس هر جبر مثلثی ایزومورف با یک (ivrl) توسیع یافته است. و همچنین منطق جبرهای مثلثی با دو عملگر لزوم و امکان ? و ? را بیان می کنیم و صحت و تمامیت آن را ثابت می کنیم.