Наукова електронна бібліотека
періодичних видань НАН України

Перегляд за автором "Волковицький, Д.Б."

Репозиторій DSpace/Manakin

Перегляд за автором "Волковицький, Д.Б."

Сортувати за: Порядок: Результатів:

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