Шкільняк, О. С.     Відношення логістичного наслідку в логіках часткових предикатів з композицією предикатного доповнення / О. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 3. - С. 11-27. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): логіка -- частковий предикат -- композиційна алгебра -- логістичний наслідок Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1)

Шкільняк, С. С. = Першопорядкові композиційно-номінативні логіки з предикатами слабкої та строгої рівності // Проблеми програмування : науковий журнал. - 2019. - № 3. - С. 28-44. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): логіка -- частковий предикат -- композиційна алгебра -- логістичний наслідок Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1)