The predicate method to construct the Post latticeстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 19 сентября 2015 г.
Аннотация:We suggest a new way to construct the structure of all closed classes of two-valued logic. In contrast to classical approaches, in this research the functions of two-valued logic are auxiliary objects and the construction starts from the set of predicates.