Abstract

Przedmiotem pracy jest logika kombinatoryczna, gałąź logiki ufundowana przez tak ich autorów, jak Schönfinkel i Curry, której najbardziej znaczącą cechą jest tworzenie języków formalnych pozbawionych zmiennych. U pierwszym rzędzie przedstawia się pojęcia bazowe tego przedsięwzięcia, tj. teorię kombinatorów i teorię funkcjonalności. Podejmując i kontynuując rezultaty, jakie osiągnął Curry, autor poddaje analizie sposób, w jaki można otrzymać zupełny zbiór aksjomatów dla rachunku zdaniowego intuicjonistycznego, wychodząc od utworzenia zupełnego zbioru kombinatorów pierwotnych.