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