Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
|
|
| Creator |
Нікітченко, М.С.
Шкільняк, С.С. |
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються відповідні секвенційні числення, на їх основі доводяться теореми коректності та повноти. Предложены композиционно-номинативные логики локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют более богатый класс моделей. Изучаются семантические свойства этих логик, отношение логического следования для множеств формул, строятся соответствующие секвенциальные исчисления, на их основе доказываются теоремы корректности и полноты. Composition nominative logics of local equitone predicates are proposed. Such logics preserve the main deductive properties of classical logic, but have more rich class of models. Semantic properties and consequence relation for sets of formulas of such logics are studied and сorresponding sequential calculuses are constructed. The soundness and completeness theorems are proved on this base. |
|
| Date |
2008-07-24T16:27:52Z
2008-07-24T16:27:52Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1293 510.6 681.3.06 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|