Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces

摘要

This paper illustrates some applications of the notion of Curry algebras. Formerly introduced as a concept to study algebraic version of some non-classical systems, such structures also generalize some fundamental logical notions as computability, construtibility, and topological spaces. A brief study of Curry algebras C_n and algebra C_ω is also discussed.