Curry algebras and propositional algebra C_1

摘要

In this expository paper, we illustrate some applications of the notion of Curry algebras, and its relationship with the concept of propositional algebra C_1. 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 C_n.