Семантичні моделі та секвенційні числення транзиційних модальних логік
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Семантичні моделі та секвенційні числення транзиційних модальних логік
|
|
| Creator |
Шкільняк, О.С.
|
|
| Subject |
Экспертные системы, методы индуктивного вывода
|
|
| Description |
Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти.
Исследованы чистые первопорядковые транзиционные модальные логики частичных предикатов. Описаны семантические модели и языки таких логик. Для предложенных логик построены исчисления секвенциального типа. Для этих исчислений доказаны теоремы корректности и полноты. 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. |
|
| Date |
2015-07-14T12:06:21Z
2015-07-14T12:06:21Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр.
ХХХХ-0003 http://dspace.nbuv.gov.ua/handle/123456789/84739 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Компьютерная математика
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|