Introduction to Curry Systems

Jair Minoro Abe received a B.A. and M.Sc. in Pure Mathematics—University of São Paulo, Brazil. Abe also received his doctoral degree and Livre-Docente title from the same university. He acted as coordinator of the Logic Area of the Institute of Advanced Studies—University of São Paulo, Brazil (1986-2019) and Full Professor at Paulista University—Brazil. He is Senior Member of IEEE.Professor Abe is a studious of a family of Paraconsistent Annotated Logic used to solve many complex problems in engineering. He is considered one of the pioneers in this domain. He has authored/edited books on Paraconsistent and related logic published by Springer Germany and other reputed publishers.He is the recipient of many awards, including medals for his academic performance, and has received many best paper awards.

• 1.Curry Systems.- 2.C n Algebras.- 3.Heyting Algebras.- 4.P n -Algebras.- 5.N n -Algebras.- 6.Algebraization Of 1 st  Order Paraconsistent Systems C*n.- 7.Algebraization of 1 st  Order Paracomplete Systems Pn*.- 8.Algebraization Of 1 st  Order Non-Alethic Systems N n *.- 9.P Algebras & Monadic Curry Algebras Q.- 10.Alternative Algebraization of Classic Logic.- 11.Conclusion.