पूरक जाली पर ऑपरेटर

वर्तमान पेपर में पूरक जाली पर चर्चा की गई है जहां, हालांकि, पूरकता का यूनरी संचालन स्पष्ट रूप से मान लिया गया नहीं है। इसका मतलब है कि एक तत्व के कई पूरक हो सकते हैं। प्रत्येक तत्व को उसके सभी पूरकों के सेट a^+ से जोड़ने वाला मैपिंग ^+ को दिए गए जाली पर एक ऑपरेटर के रूप में जांचा जाता है। हम तत्वों से मनमाने उपसमूहों में a^+ की परिभाषा को एक स्वाभाविक तरीके से विस्तारित कर सकते हैं। विशेष रूप से, हम पूरक माड्यूलर जालियों के लिए सेट a^+ का अध्ययन करते हैं, और हम यह वर्णन करते हैं कि कब सेट a^++ एक एकल तत्व है। ऑपरेटर ^+ के माध्यम से हम दो अन्य ऑपरेटर पेश करते हैं और जिन्हें एक निश्चित प्रस्ताविक कलकुलस में क्रमशः implication और conjunction के रूप में माना जा सकता है। ये दो तार्किक संयोजक