Виникнення та інтерпретація тризначних логік Кліні
Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного образу. Проілюстровано компактне задання операцій логіки К...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/14638 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Виникнення та інтерпретація тризначних логік Кліні / О.В. Шишацька // Пробл. програмув. — 2010. — № 2-3. — С. 72-79. — Бібліогр.: 17 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом
застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного
образу. Проілюстровано компактне задання операцій логіки Кліні трьохелементними ланцюгами.
Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of
generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact
representation of logic Kleene operations by the three-element chains is illustrated.
|
|---|---|
| ISSN: | 1727-4907 |