Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
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 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
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| _version_ | 1862619387808186368 |
|---|---|
| author | Пынько, А.П. |
| author_facet | Пынько, А.П. |
| citation_txt | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T13:17:14Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1660 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-12-07T13:17:14Z |
| publishDate | 2007 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| 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 |
| spellingShingle | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства Пынько, А.П. Інформатика та кібернетика |
| title | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_full | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_fullStr | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_full_unstemmed | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_short | Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| title_sort | процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1660 |
| work_keys_str_mv | AT pynʹkoap proceduryvyvodavsekvencialʹnyhisčisleniâhdlâkonečnoznačnyhlogiksopredelitelemravenstva |