Title: Curry systems for algebraisation of some non-classical logics

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.

DOI: 10.1504/IJRIS.2011.037741

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