Abstract
In [24] a generalisation of relation algebras to Boolean algebras with normal and additive operators is introduced. These operators are the counterparts to the modal operators of possibility. In this paper we introduce a class of Boolean algebras with co-normal and co-additive operators referred to as sufficiency operators. They are the algebraic counterpart to the logical sufficiency operators introduced in [17] for an extension of modal logics. Next, we define a class of mixed algebras i.e., Boolean algebras with an additional modal operator and a sufficiency operator. We study representation and duality theory for these new classes of algebras. The motivation for those algebras comes from the problems of reasoning with incomplete information and spatial reasoning.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
