Основания классической логики и дедукция систем аристотелевой и неаристотелевой (Н. А. Васильева) силлогистики

Логические приемы и методы, применяемые при извлечении знаний

Формализация прямого доказательства в профессиональной деятельности государственного служащего

Логические посылки научного метода Галена

Логический механизм порождения метафоры

Формальные реконструкции силлогистики Венна