Секвенціальні системи виведення для багатозначних логік
В цій роботі представлено, як можна побудувати секвенціальні числення без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності (тобто скінченною множиною унарних похідних пропозиційних зв’язок...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/731 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Секвенціальні системи виведення для багатозначних логік / Пинько О.П. // Математичні машини і системи. – 2003. – № 2. – С. 166 – 174. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-731 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-7312008-06-25T12:00:18Z Секвенціальні системи виведення для багатозначних логік Пинько, О.П. Програмно-технічні комплекси В цій роботі представлено, як можна побудувати секвенціальні числення без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності (тобто скінченною множиною унарних похідних пропозиційних зв’язок зі спеціальною властивістю). Такі числення складаються з аксіом, до яких належать тільки літери, та оборотних правил виведення, які вводять комплекси пропозиційних зв’язок. Інтерпретуючи секвенції атомарними формулами першого порядку, ми відзначаємо, що зазначені числення можна інтерпретувати точними універсальними Хорновськими теоріями. При цьому процедура цілеспрямованого виведення для даних теорій, що реалізована в таких системах програмування, як АПС або Пролог, імітує процедуру оберненого виведення в зазначених численнях. Бібліогр.: 16 назв. В этой работе представлено, как можно построить секвенциальные исчисления без структурных правил (но с допустимыми структурными правилами) для произвольных пропозициональных конечнозначных логик с определителем равенства (т.е. конечным множеством унарных производных пропозициональных связок со специальным свойством). Такие исчисления состоят из аксиом, в которые входят только литералы, и обратимых правил вывода, которые вводят комплексы пропозициональных связок. Интерпретируя секвенции атомарными формулами первого порядка, мы показываем, что указанные исчисления можно интерпретировать точными универсальными Хорновскими теориями. При этом процедура целенаправленного вывода для таких теорий, которая реализована в таких системах программирования, как АПС или Пролог, имитирует процедуру обратного вывода в указанных исчислениях. Библиогр.: 16 назв. In this paper we show how one can construct sequential calculi without structural rules (but with admissible structural rules) for arbitrary propositional finitely-valued logics with an identity determinant (that is, a finite set of unary secondary propositional connectives with a special property). Such calculi consist of axioms containing literals alone and invertible inference rules introducing complex propositional connectives. Interpreting sequents by atomic first-order formulas, we show that such calculi can be interpreted by strict universal Horn theories. Moreover, the procedure of goal-oriented deduction for such theories implemented in such programming systems as APS or Prolog simmulates the procedure of inverse deduction in the mentioned calculi. Refs.: 16 titles. 2003 Article Секвенціальні системи виведення для багатозначних логік / Пинько О.П. // Математичні машини і системи. – 2003. – № 2. – С. 166 – 174. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/731 510.6 uk Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Програмно-технічні комплекси Програмно-технічні комплекси |
| spellingShingle |
Програмно-технічні комплекси Програмно-технічні комплекси Пинько, О.П. Секвенціальні системи виведення для багатозначних логік |
| description |
В цій роботі представлено, як можна побудувати секвенціальні числення без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності (тобто скінченною множиною унарних похідних пропозиційних зв’язок зі спеціальною властивістю). Такі числення складаються з аксіом, до яких належать тільки літери, та оборотних правил виведення, які вводять комплекси пропозиційних зв’язок. Інтерпретуючи секвенції атомарними формулами першого порядку, ми відзначаємо, що зазначені числення можна інтерпретувати точними універсальними Хорновськими теоріями. При цьому процедура цілеспрямованого виведення для даних теорій, що реалізована в таких системах програмування, як АПС або Пролог, імітує процедуру оберненого виведення в зазначених численнях. Бібліогр.: 16 назв. |
| format |
Article |
| author |
Пинько, О.П. |
| author_facet |
Пинько, О.П. |
| author_sort |
Пинько, О.П. |
| title |
Секвенціальні системи виведення для багатозначних логік |
| title_short |
Секвенціальні системи виведення для багатозначних логік |
| title_full |
Секвенціальні системи виведення для багатозначних логік |
| title_fullStr |
Секвенціальні системи виведення для багатозначних логік |
| title_full_unstemmed |
Секвенціальні системи виведення для багатозначних логік |
| title_sort |
секвенціальні системи виведення для багатозначних логік |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2003 |
| topic_facet |
Програмно-технічні комплекси |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/731 |
| citation_txt |
Секвенціальні системи виведення для багатозначних логік / Пинько О.П. // Математичні машини і системи. – 2003. – № 2. – С. 166 – 174. |
| work_keys_str_mv |
AT pinʹkoop sekvencíalʹnísistemivivedennâdlâbagatoznačnihlogík |
| first_indexed |
2023-03-24T08:19:35Z |
| last_indexed |
2023-03-24T08:19:35Z |
| _version_ |
1796138821679579136 |