TY - JOUR

T1 - Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

AU - Rodríguez González, Juan Tinguaro

AU - Turunen, Esko

AU - Ruan, Da

AU - Montero, Javier

N1 - © 2013 Elsevier B.V.

PY - 2014/5/1

Y1 - 2014/5/1

N2 - As recently proved in a previous work of Turunen, Tsoukiàs and Öztürk, starting from an evidence pair (a,b) 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 (a,b) 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 (a,b) 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.

AB - As recently proved in a previous work of Turunen, Tsoukiàs and Öztürk, starting from an evidence pair (a,b) 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 (a,b) 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 (a,b) 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.

KW - Mathematical fuzzy logic

KW - MV-algebras

KW - Paraconsistency

UR - http://www.scopus.com/inward/record.url?scp=84897441239&partnerID=8YFLogxK

U2 - 10.1016/j.fss.2013.06.011

DO - 10.1016/j.fss.2013.06.011

M3 - Article

AN - SCOPUS:84897441239

SN - 0165-0114

VL - 242

SP - 132

EP - 147

JO - Fuzzy sets and systems

JF - Fuzzy sets and systems

ER -