Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються відпові...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1293 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1293 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-12932008-07-25T12:04:59Z Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення Нікітченко, М.С. Шкільняк, С.С. Теоретические и методологические основы программирования Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються відповідні секвенційні числення, на їх основі доводяться теореми коректності та повноти. Предложены композиционно-номинативные логики локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют более богатый класс моделей. Изучаются семантические свойства этих логик, отношение логического следования для множеств формул, строятся соответствующие секвенциальные исчисления, на их основе доказываются теоремы корректности и полноты. 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. 2003 Article Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1293 510.6 681.3.06 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 |
2003 |
| topic_facet |
Теоретические и методологические основы программирования |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1293 |
| citation_txt |
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms logíkilokalʹnoekvítonnihpredikatívsemantičnívlastivostítasekvencíjníčislennâ AT škílʹnâkss logíkilokalʹnoekvítonnihpredikatívsemantičnívlastivostítasekvencíjníčislennâ |
| first_indexed |
2023-03-24T08:21:20Z |
| last_indexed |
2023-03-24T08:21:20Z |
| _version_ |
1796138876565192704 |