Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic



Downloads per month over past year

Rodríguez, Juan Tinguaro and Turunen, Esko and Ruan, Da and Montero, Javier (2014) Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic. Fuzzy sets and systems, 242 . pp. 132-147. ISSN 0165-0114

[thumbnail of Montero201elsevier.pdf] PDF
Restringido a Repository staff only hasta 31 December 2025.


Official URL:


As recently proved in a previous work of Turunen, Tsoukias and Ozttirk, starting from an evidence pair (a, h) on the real unit square and associated with a propositional statement a, we can construct evidence matrices expressed in terms of four values t, f, k, u that respectively represent the logical valuations true, false, contradict ion (both true and false) and unknown (neither true nor false) regarding the statement a. The components of the evidence pair (a, h) are to be understood as evidence for and against a, 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, h) 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.

Item Type:Article
Uncontrolled Keywords:Mathematical fuzzy logic; Paraconsistency; MV-algebras
Subjects:Sciences > Mathematics > Mathematical statistics
ID Code:25831
Deposited On:12 Jun 2014 10:24
Last Modified:18 Apr 2016 17:46

Origin of downloads

Repository Staff Only: item control page