A type of Inconsistent Mathematics structured on Paraconsistent Logic (PL) and that has, as the main purpose, the study of common mathematical objects such as sets, numbers and functions, where some contradictions are...A type of Inconsistent Mathematics structured on Paraconsistent Logic (PL) and that has, as the main purpose, the study of common mathematical objects such as sets, numbers and functions, where some contradictions are allowed, is called Paraconsistent Mathematics. The PL is a non-Classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper (part 1), we use the PL in its annotated form, denominated Paraconsistent Annotated Logic with annotation of two values—PAL2v for present a first-order Paraconsistent Derivative. The PAL2v has, in its representation, an associated lattice FOUR based on Hasse Diagram. This PAL2v-Lattice allows development of a Para-consistent Differential Calculus based on fundamentals and equations obtained by geometric interpretations. In this first article it is presented some examples applying derivatives of first-order with the concepts of Paraconsistent Mathematics. In the second part of this work we will show the Paraconsistent Derivative of second-order with application examples.展开更多
The Paraconsistent Logic (PL) is a non-classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper, we use the PL in i...The Paraconsistent Logic (PL) is a non-classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper, we use the PL in its annotated form, denominated Paraconsistent Annotated Logic with annotation of two values-PAL2v. This type of paraconsistent logic has an associated lattice that allows the development of a Paraconsistent Differential Calculus based on fundamentals and equations obtained by geometric interpretations. In this paper (Part II), it is presented a continuation of the first article (Part I) where the Paraconsistent Differential Calculus is given emphasis on the second-order Paraconsistent Derivative. We present some examples applying Paraconsistent Derivatives at functions of first and second-order with the concepts of Paraconsistent Mathematics.展开更多
In this paper we show that it is possible to integrate functions with concepts and fundamentals of Paraconsistent Logic (PL). The PL is a non-classical Logic that tolerates the contradiction without trivializing its r...In this paper we show that it is possible to integrate functions with concepts and fundamentals of Paraconsistent Logic (PL). The PL is a non-classical Logic that tolerates the contradiction without trivializing its results. In several works the PL in his annotated form, called Paraconsistent logic annotated with annotation of two values (PAL2v), has presented good results in analysis of information signals. Geometric interpretations based on PAL2v-Lattice associate were obtained forms of Differential Calculus to a Paraconsistent Derivative of first and second-order functions. Now, in this paper we extend the calculations for a form of Paraconsistent Integral Calculus that can be viewed through the analysis in the PAL2v-Lattice. Despite improvements that can develop calculations in complex functions, it is verified that the use of Paraconsistent Mathematics in differential and Integral Calculus opens a promising path in researches developed for solving linear and nonlinear systems. Therefore the Paraconsistent Integral Differential Calculus can be an important tool in systems by modeling and solving problems related to Physical Sciences.展开更多
文摘A type of Inconsistent Mathematics structured on Paraconsistent Logic (PL) and that has, as the main purpose, the study of common mathematical objects such as sets, numbers and functions, where some contradictions are allowed, is called Paraconsistent Mathematics. The PL is a non-Classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper (part 1), we use the PL in its annotated form, denominated Paraconsistent Annotated Logic with annotation of two values—PAL2v for present a first-order Paraconsistent Derivative. The PAL2v has, in its representation, an associated lattice FOUR based on Hasse Diagram. This PAL2v-Lattice allows development of a Para-consistent Differential Calculus based on fundamentals and equations obtained by geometric interpretations. In this first article it is presented some examples applying derivatives of first-order with the concepts of Paraconsistent Mathematics. In the second part of this work we will show the Paraconsistent Derivative of second-order with application examples.
文摘The Paraconsistent Logic (PL) is a non-classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper, we use the PL in its annotated form, denominated Paraconsistent Annotated Logic with annotation of two values-PAL2v. This type of paraconsistent logic has an associated lattice that allows the development of a Paraconsistent Differential Calculus based on fundamentals and equations obtained by geometric interpretations. In this paper (Part II), it is presented a continuation of the first article (Part I) where the Paraconsistent Differential Calculus is given emphasis on the second-order Paraconsistent Derivative. We present some examples applying Paraconsistent Derivatives at functions of first and second-order with the concepts of Paraconsistent Mathematics.
文摘In this paper we show that it is possible to integrate functions with concepts and fundamentals of Paraconsistent Logic (PL). The PL is a non-classical Logic that tolerates the contradiction without trivializing its results. In several works the PL in his annotated form, called Paraconsistent logic annotated with annotation of two values (PAL2v), has presented good results in analysis of information signals. Geometric interpretations based on PAL2v-Lattice associate were obtained forms of Differential Calculus to a Paraconsistent Derivative of first and second-order functions. Now, in this paper we extend the calculations for a form of Paraconsistent Integral Calculus that can be viewed through the analysis in the PAL2v-Lattice. Despite improvements that can develop calculations in complex functions, it is verified that the use of Paraconsistent Mathematics in differential and Integral Calculus opens a promising path in researches developed for solving linear and nonlinear systems. Therefore the Paraconsistent Integral Differential Calculus can be an important tool in systems by modeling and solving problems related to Physical Sciences.
