Please use this identifier to cite or link to this item:
https://elib.belstu.by/handle/123456789/64489| Title: | Машина вывода для трехзначного логического исчисления Я. Лукасевича |
| Authors: | Герман, Олег Витольдович Дорожкина, Наталья Николаевна |
| Keywords: | векторные формулы исчисления Лукасевича машина вывода векторная логика трехзначная логика Лукасевича |
| Issue Date: | 2006 |
| Publisher: | БГТУ |
| Citation: | Герман, О. В. Машина вывода для трехзначного логического исчисления Я. Лукасевича / О. В. Герман, Н. Н. Дорожкина // Труды Белорусского государственного технологического университета. Серия VI. Физико-математические науки и информатика. - 2006. - Вып. XIV. - С. 157-159. - Библиогр.: 4 назв. |
| Abstract: | Рассматривается вопрос о реализации машины вывода для многозначных логик. Реализация машины вывода основана на введении «промежуточной» векторной логики и задании определенным образом операции отрицания в такой логике, что позволяет строить выводы в многозначных логиках, оставаясь в рамках классической двузначной логики. |
| URI: | https://elib.belstu.by/handle/123456789/64489 |
| Appears in Collections: | Труды БГТУ. №6. Физико-математические науки и информатика, 2006 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Герман О. В. Машина вывода.pdf | 159.38 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.