Влияние теории релейно-контактных схем на развитие математической логики

Верификация логического следования в неклассической многозначной логике

О судьбе центрального философского замысла создателя алгебры логики: к 200-летию Джорджа Буля

Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа

Булева алгебра и способы представления логики. Обзор

Числа и пространства Канторовича

Непарадоксальное логическое следование и проблема решения МЛ-уравнений

Континуальные логико-алгебраические исчисления как основа информационных технологий в аналоговой области

Элементы технологии иерархического концептуального моделирования и реализации систем и сетей хранения и обработки данных

Булевы алгебры как основа для изучения математической логики, теории множеств, теории вероятностей