Шкільняк, С.С.; Волковицький, Д.Б.
(Компьютерная математика, 2016)
Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами ...