Досліджено композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. На базі властивостей відношення логічного наслідку для множин формул збудовано числення секвенційного типу для загальних та темпоральних композиційно-номінативних модальних логік такого рівня. Для побудованих числень доведено теореми коректності та повноти.

• Шкільняк Оксана Степанівна (фізико-математичні науки)

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