Da Costa, N.C.A. (2000) Paraconsistent Mathematics. In: Batens, D., Mortensen, C., Priest, G. and van Bendegen, J.P., Eds., I. World Congress on Paraconsistency, 1998 Ghent, Belgium. Frontiers in Paraconsistent Logic: Proceedings, King’s College Publications, London, 165-179.

has been cited by the following article:

• TITLE: Paraconsistent Differential Calculus (Part II): Second-Order Paraconsistent Derivative

  AUTHORS: João Inácio Da Silva Filho

  KEYWORDS: Paraconsistent Logic, Paraconsistent Annotated Logic, Paraconsistent Mathematics, Paraconsistent Differential Calculus

  JOURNAL NAME: Applied Mathematics, Vol.5 No.8, May 5, 2014

  ABSTRACT: 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.