Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають
 значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1293 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862582208475168768 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-11-26T22:53:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1293 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-26T22:53:29Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2008-07-24T16:27:52Z 2008-07-24T16:27:52Z 2003 Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1293 510.6 681.3.06 Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають
 значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються відповідні секвенційні числення, на їх основі доводяться теореми коректності та повноти. Предложены композиционно-номинативные логики локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют более богатый класс моделей. Изучаются семантические свойства этих логик, отношение логического следования для множеств формул, строятся соответствующие секвенциальные исчисления, на их основе доказываются теоремы корректности и полноты. 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. uk Інститут програмних систем НАН України Теоретические и методологические основы программирования Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення Логики локально-эквитонных предикатов: семантические свойства и секвенциальные исчисления Logics of local equitone predicates: semantic properties and sequential calculuses Article published earlier |
| spellingShingle | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення Нікітченко, М.С. Шкільняк, С.С. Теоретические и методологические основы программирования |
| title | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення |
| title_alt | Логики локально-эквитонных предикатов: семантические свойства и секвенциальные исчисления Logics of local equitone predicates: semantic properties and sequential calculuses |
| title_full | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення |
| title_fullStr | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення |
| title_full_unstemmed | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення |
| title_short | Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення |
| title_sort | логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1293 |
| work_keys_str_mv | AT níkítčenkoms logíkilokalʹnoekvítonnihpredikatívsemantičnívlastivostítasekvencíiníčislennâ AT škílʹnâkss logíkilokalʹnoekvítonnihpredikatívsemantičnívlastivostítasekvencíiníčislennâ AT níkítčenkoms logikilokalʹnoékvitonnyhpredikatovsemantičeskiesvoistvaisekvencialʹnyeisčisleniâ AT škílʹnâkss logikilokalʹnoékvitonnyhpredikatovsemantičeskiesvoistvaisekvencialʹnyeisčisleniâ AT níkítčenkoms logicsoflocalequitonepredicatessemanticpropertiesandsequentialcalculuses AT škílʹnâkss logicsoflocalequitonepredicatessemanticpropertiesandsequentialcalculuses |