С. Павлов, «Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул», ЛИ, т. 15, сс. 169-181, ноя. 2009.