Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces
Minoro Abe Jair, Nakamatsu Kazumi, Akama Seiki · Frontiers in artificial intelligence and applications · 2012
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 Cn and algebra Cω is also discussed.