2010International Journal of Reasoning-based Intelligent SystemsRequires access

Curry systems for algebraisation of some non-classical logics

Jair Minoro Abe, Kazumi Nakamatsu

Open publisher page 3 citations

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.

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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.

Key concepts: Curry, Computer science, Calculus (dental), Mathematics, Programming language, Medicine, Dentistry

Related papers

Back to paper searchBrowse research topicsOriginal source
Curry systems for algebraisation of some non-classical logics — Research Paper | ScholarLens