Сильная Логика Клини Слабая Логика Клини Цепь Полный Образ Theory of Computation
Issue Date:
2008
Publisher:
Institute of Information Theories and Applications FOI ITHEA
Abstract:
Рассмотрена сильная и слабая трехзначные логики Клини. Показано возникновение
сильной логики из обычной булевой логики путем применения общезначимой конструкции
распространения операций с элементов на множества элементов в терминах полного образа.
Проиллюстрировано компактное задание операций обоих логик Клини трехэлементными цепями.
