Science and Education Publishing
American Journal of Systems and Software
3
1
2015
01
07
Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers
1
12
EN
Usó-Doménech
J.L.
Nescolarde-Selva
J.
Department of Applied Mathematics, University of Alicante, Alicante, Spain
Pérez-Gonzaga
S.
M. J
Sabán
AJSS2015311
10.12691/ajss-3-1-1
2014
12
23
2014
12
31
2015
01
07
Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.