Please use this identifier to cite or link to this item:
https://libeldoc.bsuir.by/handle/123456789/37178
| Title: | Машина вывода для модальной логики Лукасевича на основе трехзначного исчисления |
| Authors: | Чжоу Цзюань |
| Keywords: | материалы конференций;модальная логика;машина вывода;нечеткие формулы;трехзначное исчисление Лукасевича |
| Issue Date: | 2012 |
| Publisher: | БГУИР |
| Citation: | Чжоу Цзюань. Машина вывода для модальной логики Лукасевича на основе трехзначного исчисления / Чжоу Цзюань // Информационные технологии и управление : материалы 48–ой научной конференции аспирантов, магистрантов и студентов, Минск, 7 – 11 мая 2012 г. / редкол.: Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2012. – С. 28. |
| Abstract: | В докладе показывается построение машины вывода для модальной логики. Построение такой машины вывода позволяет модальную систему заменить эквивалентной двоичной системой. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/37178 |
| Appears in Collections: | Информационные технологии и управление : материалы 48-й научной конференции аспирантов, магистрантов и студентов (2012)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
