La formation des notions en logique combinatoire
DOI:
https://doi.org/10.18778/0208-6107.07.03Abstrakt
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Licencja
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/4.0/88x31.png)
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.