Algebraic models of deviant modal operators based on de Morgan and Kleene lattices

详细信息    查看全文

• 作者：G. Cattaneo^a ; ^{cattang@disco.unimib.it"" rel=""nofollow} ; D. Ciucci^a ; ^{ciucci@disco.unimib.it"" rel=""nofollow} ; D. Dubois^b ; ^{dubois@irit.fr"" rel=""nofollow}
• 关键词：Algebraic semantic of modal logic ; Brouwer Zadeh lattices ; Kleene lattices ; Heyting– ; Wajsberg algebras ; Fuzzy sets and orthopairs models
• 刊名：Information Sciences
• 出版年：2011
• 出版时间：1 October 2011
• 年：2011
• 卷：181
• 期：19
• 页码：4075-4100
• 全文大小：603 K

文摘

An algebraic model of a kind of modal extension of de Morgan logic is described under the name MDS5 algebra. The main properties of this algebra can be summarized as follows: (1) it is based on a de Morgan lattice, rather than a Boolean algebra; (2) a modal necessity operator that satisfies the axioms N, K, T, and 5 (and as a consequence also B and 4) of modal logic is introduced; it allows one to introduce a modal possibility by the usual combination of necessity operation and de Morgan negation; (3) the necessity operator satisfies a distributivity principle over joins. The latter property cannot be meaningfully added to the standard Boolean algebraic models of S5 modal logic, since in this Boolean context both modalities collapse in the identity mapping. The consistency of this algebraic model is proved, showing that usual fuzzy set theory on a universe U can be equipped with a MDS5 structure that satisfies all the above points (1)–(3), without the trivialization of the modalities to the identity mapping. Further, the relationship between this new algebra and Heyting-Wajsberg algebras is investigated. Finally, the question of the role of these deviant modalities, as opposed to the usual non-distributive ones, in the scope of knowledge representation and approximation spaces is discussed.