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.
International Journal of Reasoning-based Intelligent Systems, 2013 Vol.5 No.2, pp.127 - 132
Received: 08 May 2021
Accepted: 12 May 2021
Published online: 20 Oct 2013 *