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