Title: Curry algebras and propositional algebra C1

Authors: Jair Minoro Abe

Addresses: Graduate Program in Production Engineering, ICET - Paulista University, R. Dr. Bacelar, 1212, CEP 04026-002, São Paulo, SP, Brazil; Institute for Advanced Studies, University of São Paulo, Rua Praça do Relógio, 109, Bloco K, 5º andar, Cidade Universitária, Caixa Postal 72.012, CEP 05508-970, São Paulo, SP, Brazil

Abstract: In this expository paper, we illustrate some applications of the notion of Curry algebras, and its relationship with the concept of propositional algebra C1. Curry algebra was formerly introduced as a concept to study algebraic version of some non-classical systems, such as algebraic version of Da Costa's systems Cn.

Keywords: Curry algebra; algebraic logic; paraconsistent logic; propositional algebra; computability; contructibility.

DOI: 10.1504/IJRIS.2013.057274

International Journal of Reasoning-based Intelligent Systems, 2013 Vol.5 No.2, pp.127 - 132

Published online: 22 Oct 2013 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article

 

Return to top