Authors: Jair Minoro Abe, Kazumi Nakamatsu
Addresses: Graduate Program in Production Engineering, ICET – Paulista University, Sao Paulo, Brazil; Institute for Advanced Studies, University of Sao Paulo, Sao Paulo, Brazil. ' School of Human Science and Environment, University of Hyogo, Himeji, Japan
Abstract: With the appearance of several non-classical logics notably over the past decades, one natural question arises: What is the algebraic version of these logics? In this paper, we discuss some applications of the concept of Curry algebra for algebraisation of some paraconsistent, paracomplete and non-alethic logics. Such concept is also correlated with some fundamental themes in logic, such as computability, constructability, topology and many other basic branches.
Keywords: Curry algebra; algebraic logics; paraconsistent logics; paracomplete logics; non-alethic logics; computability; constructability; topology.
International Journal of Reasoning-based Intelligent Systems, 2011 Vol.3 No.1, pp.59 - 69
Published online: 26 Dec 2010 *Full-text access for editors Access for subscribers Purchase this article Comment on this article