Реномінативні логіки квазіарних предикатів

• Опубліковано в: : Компьютерная математика
• Дата: 2016
• Автори: Шкільняк, С.С., Волковицький, Д.Б.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2016
• Теми: Инструментальные средства информационных технологий
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/168398
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. .

Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношення логічного наслідку. На цій основі для реномінативних логік побудовано низку числень секвенційного типу Исследованы реноминативные логики квазиарных предикатов. Они занимают место между пропозициональной и первопорядковыми логиками. Выделены реноминативные логики базового уровня, с предикатами слабого равенства и с предикатами строгого равенства. Исследованы семантические свойства таких логик, описаны отношения логического следствия. На этой основе для реноминативных логик построен ряд исчислений секвенциального типа. We consider renominative logics of quasiary predicates. They occupy an intermediate position between propositional logic and first-order logics. We specify renominative logics of basic level, logics with predicates of weak equality, and logics with predicates of strong equality. Semantic properties of the introduced logics are investigated and logical consequence relations are described. On this basis, a number of sequent calculi for renominative logics are constructed.