Skew lattices and binary operations on functions

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