Universidad Complutense de Madrid
E-Prints Complutense

Two Consistent Many-Valued Logics for Paraconsistent Phenomena

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


URLURL Type
http://link.springer.comPublisher


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