Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності. An effective procedure of minimization of the number of premises for the introduction rules of sequent calculi for propositional finitel...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2011 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/38682 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-38682 |
|---|---|
| record_format |
dspace |
| spelling |
Пынько, А.П. 2012-11-19T12:13:28Z 2012-11-19T12:13:28Z 2011 Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/38682 510.6 Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності. An effective procedure of minimization of the number of premises for the introduction rules of sequent calculi for propositional finitely-valued logics with equality determinant is proposed. ru Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика та кібернетика Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства Optimization of sequent calculi for finitely-valued logics with equality determinant 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 |
2011 |
| language |
Russian |
| container_title |
Доповіді НАН України |
| publisher |
Видавничий дім "Академперіодика" НАН України |
| format |
Article |
| title_alt |
Optimization of sequent calculi for finitely-valued logics with equality determinant |
| description |
Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності.
An effective procedure of minimization of the number of premises for the introduction rules of sequent calculi for propositional finitely-valued logics with equality determinant is proposed.
|
| issn |
1025-6415 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/38682 |
| citation_txt |
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2011. — № 9. — С. 36-41. — Бібліогр.: 7 назв. — рос. |
| work_keys_str_mv |
AT pynʹkoap optimizaciâsekvencialʹnyhisčisleniidlâkonečnoznačnyhlogiksopredelitelemravenstva AT pynʹkoap optimizationofsequentcalculiforfinitelyvaluedlogicswithequalitydeterminant |
| first_indexed |
2025-12-07T16:17:03Z |
| last_indexed |
2025-12-07T16:17:03Z |
| _version_ |
1850866897543757824 |