2 resultados para first-order paraconsistent logic
em Universidad de Alicante
Resumo:
Stability of the first-order neutral delay equation x’ (t) + ax’ (t – τ) = bx(t) + cx(t – τ) with complex coefficients is studied, by analyzing the existence of stability switches.
Resumo:
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.