Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення

• Datum: 2003
• Hauptverfasser: Нікітченко, М.С., Шкільняк, С.С.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: Інститут програмних систем НАН України 2003
• Schlagworte: Теоретические и методологические основы программирования
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1293
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр.

Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються відповідні секвенційні числення, на їх основі доводяться теореми коректності та повноти. Предложены композиционно-номинативные логики локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют более богатый класс моделей. Изучаются семантические свойства этих логик, отношение логического следования для множеств формул, строятся соответствующие секвенциальные исчисления, на их основе доказываются теоремы корректности и полноты. 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.