Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.
Збережено в:
| Дата: | 2007 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2007
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1660 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1660 |
|---|---|
| record_format |
dspace |
| spelling |
Пынько, А.П. 2008-09-01T14:32:02Z 2008-09-01T14:32:02Z 2007 Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/1660 510.6 Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming. ru Видавничий дім "Академперіодика" НАН України Інформатика та кібернетика Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства 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 |
2007 |
| language |
Russian |
| publisher |
Видавничий дім "Академперіодика" НАН України |
| format |
Article |
| description |
Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.
|
| issn |
1025-6415 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1660 |
| citation_txt |
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. |
| work_keys_str_mv |
AT pynʹkoap proceduryvyvodavsekvencialʹnyhisčisleniâhdlâkonečnoznačnyhlogiksopredelitelemravenstva |
| first_indexed |
2025-12-07T13:17:14Z |
| last_indexed |
2025-12-07T13:17:14Z |
| _version_ |
1850855584484556800 |