Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
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 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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| id |
irk-123456789-4138 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-41382009-12-11T14:35:16Z Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства Пынько, А.П. Інформатика та кібернетика 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 Article Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос. 1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/4138 510.6 ru Видавничий дім "Академперіодика" НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Інформатика та кібернетика Інформатика та кібернетика |
| spellingShingle |
Інформатика та кібернетика Інформатика та кібернетика Пынько, А.П. Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| 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. |
| format |
Article |
| author |
Пынько, А.П. |
| author_facet |
Пынько, А.П. |
| author_sort |
Пынько, А.П. |
| title |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_short |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_full |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_fullStr |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_full_unstemmed |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| title_sort |
производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства |
| publisher |
Видавничий дім "Академперіодика" НАН України |
| publishDate |
2008 |
| topic_facet |
Інформатика та кібернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/4138 |
| citation_txt |
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2008. — № 4. — С. 51-54. — Бібліогр.: 2 назв. — рос. |
| work_keys_str_mv |
AT pynʹkoap proizvodnyepravilasekvencialʹnyhisčislenijdlâkonečnoznačnyhlogiksopredelitelemravenstva |
| first_indexed |
2023-03-24T08:29:17Z |
| last_indexed |
2023-03-24T08:29:17Z |
| _version_ |
1796139154014208000 |