Curry systems for algebraisation of some non-classical logics
Jair Minoro Abe, Kazumi Nakamatsu · International Journal of Reasoning-based Intelligent Systems · 2010
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.