RT Book, Section
T1 Two Consistent Many-Valued Logics for Paraconsistent Phenomena
A1 Turunen, E.
A1 Rodríguez González, Juan Tinguaro
A2 Beziau, Jean-Yves
A2 Chakraborty, Mihir
A2 Dutta, Soma
AB In this reviewing paper, we recall the main results of our papers [24, 31] where we introduced two paraconsistent semantics for Pavelka style fuzzy logic. Each logic formula a is associated with a 2 x 2 matrix called evidence matrix. The two semantics are consistent if they are seen from 'outside'; the structure of the set of the evidence matrices M is an MV-algebra and there is nothing paraconsistent there. However, seen from "inside,' that is, in the construction of a single evidence matrix paraconsistency comes in, truth and falsehood are not each others complements and there is also contradiction and lack of information (unknown) involved. Moreover, we discuss the possible applications of the two logics in real-world phenomena.
PB Springer
SN 9788132227199
YR 2015
FD 2015
LK https://hdl.handle.net/20.500.14352/35847
UL https://hdl.handle.net/20.500.14352/35847
NO Turunen, E., Rodríguez, J.T.: Two Consistent Many-Valued Logics for Paraconsistent Phenomena. En: Beziau, J.-Y., Chakraborty, M., y Dutta, S. (eds.) New Directions in Paraconsistent Logic. pp. 185-210. Springer India, New Delhi (2015)
NO 5th WCP, Kolkata, India, February 2014.
DS Docta Complutense
RD 12 abr 2025