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.