Приложение логического программирования к многозначной логике с относительной истиной
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяю...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83131 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-83131 |
|---|---|
| record_format |
dspace |
| spelling |
Пынько, А.П. 2015-06-15T14:53:31Z 2015-06-15T14:53:31Z 2013 Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83131 510.6 Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики. The procedures are suggested of automatic deduction in propositional many-valued logics with relative truth (that is, logics, which have several sets of distinguished values) based on the many-sided sequent deductive apparatus, which is implemented by logic programming methods in the PROLOG language and enables one to cover all finitely-valued logics. Запропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Программная инженерия и программные средства Приложение логического программирования к многозначной логике с относительной истиной The Application of the Logic Programming to Many-Valued Logic with the Relative Truth Застосування логічного програмування до багатозначної логіки з відносною істиною Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Приложение логического программирования к многозначной логике с относительной истиной |
| spellingShingle |
Приложение логического программирования к многозначной логике с относительной истиной Пынько, А.П. Программная инженерия и программные средства |
| title_short |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_full |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_fullStr |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_full_unstemmed |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_sort |
приложение логического программирования к многозначной логике с относительной истиной |
| author |
Пынько, А.П. |
| author_facet |
Пынько, А.П. |
| topic |
Программная инженерия и программные средства |
| topic_facet |
Программная инженерия и программные средства |
| publishDate |
2013 |
| language |
Russian |
| container_title |
Управляющие системы и машины |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| format |
Article |
| title_alt |
The Application of the Logic Programming to Many-Valued Logic with the Relative Truth Застосування логічного програмування до багатозначної логіки з відносною істиною |
| description |
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.
The procedures are suggested of automatic deduction in propositional many-valued logics with relative truth (that is, logics, which have several sets of distinguished values) based on the many-sided sequent deductive apparatus, which is implemented by logic programming methods in the PROLOG language and enables one to cover all finitely-valued logics.
Запропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки.
|
| issn |
0130-5395 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/83131 |
| citation_txt |
Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос. |
| work_keys_str_mv |
AT pynʹkoap priloženielogičeskogoprogrammirovaniâkmnogoznačnoilogikesotnositelʹnoiistinoi AT pynʹkoap theapplicationofthelogicprogrammingtomanyvaluedlogicwiththerelativetruth AT pynʹkoap zastosuvannâlogíčnogoprogramuvannâdobagatoznačnoílogíkizvídnosnoûístinoû |
| first_indexed |
2025-12-07T19:43:13Z |
| last_indexed |
2025-12-07T19:43:13Z |
| _version_ |
1850879868334505984 |