Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
The derivable rules of axiomatic extensions of sequent calculi with structural rules for the
 prepositional finitely valued logics with an equality determinant are analyzed with the use of
 methods of logic programming.
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/4138 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862711220452196352 |
|---|---|
| author | Пынько, А.П. |
| author_facet | Пынько, А.П. |
| citation_txt | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос. |
| collection | DSpace DC |
| description | The derivable rules of axiomatic extensions of sequent calculi with structural rules for the
prepositional finitely valued logics with an equality determinant are analyzed with the use of
methods of logic programming.
|
| first_indexed | 2025-12-07T17:28:53Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-4138 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-12-07T17:28:53Z |
| publishDate | 2008 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Пынько, А.П. 2009-07-16T09:08:10Z 2009-07-16T09:08:10Z 2008 Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/4138 510.6 The derivable rules of axiomatic extensions of sequent calculi with structural rules for the
 prepositional finitely valued logics with an equality determinant are analyzed with the use of
 methods of logic programming. ru Видавничий дім "Академперіодика" НАН України Інформатика та кібернетика Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства Article published earlier |
| spellingShingle | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства Пынько, А.П. Інформатика та кібернетика |
| title | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_full | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_fullStr | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_full_unstemmed | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_short | Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_sort | производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/4138 |
| work_keys_str_mv | AT pynʹkoap proizvodnyepravilasekvencialʹnyhisčisleniidlâkonečnoznačnyhlogiksopredelitelemravenstva |