Визначено монотонні логіки Флойда - Хоара на базі багатоосновних алгебр часткових квазіарних предикатів та програм. Для цієї цілі надано визначення спеціальної, монотонної композиції Флойда - Хоара. Доведено, що означена композиція є також неперервною. Побудовано правила виводу в монотонних логіках, які одержуються з правил виводу логіки Флойда - Хоара за допомогою додавання до правил відповідних обмежень. Доведено коректність системи правил виводу та необхідність додаткових обмежень, що накладаються на них.

• Нікітченко Микола Степанович (фізико-математичні науки)
• Криволап Андрій Володимирович (фізико-математичні науки)

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