Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

详细信息    查看全文

• 作者：J. Tinguaro Rodrí ; guez^a ; ^{jtrodrig@mat.ucm.es" class="auth_mail} ; Esko Turunen^b ; ¹ ; Da Ruan^c ; ² ; Javier Montero^a
• 关键词：Mathematical fuzzy logic ; Paraconsistency ; MV-algebras
• 刊名：Fuzzy Sets and Systems
• 出版年：1 May, 2014
• 年：2014
• 卷：242
• 期：Complete
• 页码：132-147
• 全文大小：442 K

文摘

As recently proved in a previous work of Turunen, Tsouki脿s and 脰zt眉rk, starting from an evidence pair () on the real unit square and associated with a propositional statement 伪, we can construct evidence matrices expressed in terms of four values t, f, k, u that respectively represent the logical valuations true, false, contradiction (both true and false) and unknown (neither true nor false) regarding the statement 伪. The components of the evidence pair () are to be understood as evidence for and against 伪, respectively. Moreover, the set of all evidence matrices can be equipped with an injective MV-algebra structure. Thus, the set of evidence matrices can play the role of truth-values of a Lukasiewicz-Pavelka fuzzy logic, a rich and applicable mathematical foundation for fuzzy reasoning, and in such a way that the obtained new logic is paraconsistent. In this paper we show that a similar result can be also obtained when the evidence pair () is given on the real unit triangle. Since the real unit triangle does not admit a natural MV-structure, we introduce some mathematical results to show how this shortcoming can be overcome, and another injective MV-algebra structure in the corresponding set of evidence matrices is obtained. Also, we derive several formulas to explicitly calculate the evidence matrices for the operations associated to the usual connectives.