Семантичні моделі та секвенційні числення транзиційних модальних логік
Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти....
Збережено в:
| Дата: | 2013 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Назва видання: | Компьютерная математика |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84739 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-84739 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-847392015-07-15T03:02:11Z Семантичні моделі та секвенційні числення транзиційних модальних логік Шкільняк, О.С. Экспертные системы, методы индуктивного вывода Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти. Исследованы чистые первопорядковые транзиционные модальные логики частичных предикатов. Описаны семантические модели и языки таких логик. Для предложенных логик построены исчисления секвенциального типа. Для этих исчислений доказаны теоремы корректности и полноты. Pure first-order transitional modal logics of partial predicates are studied. For the introduced logics, we describe semantic models and languages and we construct sequent calculi. The correctness and completeness theorems are proved for such calculi. 2013 Article Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. ХХХХ-0003 http://dspace.nbuv.gov.ua/handle/123456789/84739 004.42:510.69 uk Компьютерная математика Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Экспертные системы, методы индуктивного вывода Экспертные системы, методы индуктивного вывода |
| spellingShingle |
Экспертные системы, методы индуктивного вывода Экспертные системы, методы индуктивного вывода Шкільняк, О.С. Семантичні моделі та секвенційні числення транзиційних модальних логік Компьютерная математика |
| description |
Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти. |
| format |
Article |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| author_sort |
Шкільняк, О.С. |
| title |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_short |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_full |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_fullStr |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_full_unstemmed |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_sort |
семантичні моделі та секвенційні числення транзиційних модальних логік |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2013 |
| topic_facet |
Экспертные системы, методы индуктивного вывода |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84739 |
| citation_txt |
Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. |
| series |
Компьютерная математика |
| work_keys_str_mv |
AT škílʹnâkos semantičnímodelítasekvencíjníčislennâtranzicíjnihmodalʹnihlogík |
| first_indexed |
2023-10-18T19:29:35Z |
| last_indexed |
2023-10-18T19:29:35Z |
| _version_ |
1796147109593874432 |