Impacto
Downloads
Downloads per month over past year
Turunen, E. and Rodríguez, Juan Tinguaro (2015) Two Consistent Many-Valued Logics for Paraconsistent Phenomena. In New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, II (152). Springer, NEW YORK, pp. 185-220. ISBN 9788132227199
Official URL: http://link.springer.com/chapter/10.1007%2F978-81-322-2719-9_8
Abstract
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.
Item Type: | Book Section |
---|---|
Additional Information: | 5th WCP, Kolkata, India, February 2014. |
Uncontrolled Keywords: | Mathematical fuzzy logic; Paraconsistent logic; MV-algebra |
Subjects: | Sciences > Mathematics > Logic, Symbolic and mathematical |
ID Code: | 37567 |
Deposited On: | 11 May 2016 11:17 |
Last Modified: | 11 May 2016 11:17 |
Origin of downloads
Repository Staff Only: item control page