Досліджено семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчено відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності.Вивчено відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типів T v F та С. Описано властивості відношень логічного наслідку. Наведено приклади, які засвідчують відмінності розглянутих відношень. Показана нетранзитивність відношень типів T v F та C, можливість моделювання відношень типу С за допомогою відношень типу TF. Встановлено співвідношення між різними відношеннями логічного наслідку.Досліджено відношення логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових однозначних та часткових неоднозначних квазіарних предикатів. Описано відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку в логіках монотонних предикатів і логіках антигенних предикатів. Наведено приклади, які засвідчують відмінності одних відношень від інших, та встановлено співвідношення між різними відношеннями логічного наслідку.Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих відношень, встановлено співвідношення між ними. Для відношень типів <$E |= sub T> та <$E |= sub F> доведено теорему про елімінацію умов невизначеності. Для запропонованих відношень описано умови їх гарантованої наявності, наведено властивості декомпозиції формул та елімінації кванторів.

  Повний текст PDF - 942.114 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"