Paraconsistent intelligent systems of computer logicsстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 17 февраля 2016 г.
Аннотация:The paper considers applicative computation systems (ACS) constructed as Gentzen-deductive extensions of Church's λ-conversion calculi with a bounded cut rule and as Schönfinkel-Curry pure combinatory logic.