Curry algebras and propositional algebra C1
Jair Minoro Abe · International Journal of Reasoning-based Intelligent Systems · 2013
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.