Включаются следующие основные применения:

исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные системы, теория вычислений и модели вычислений;
формальные методы и логика рассуждения о понятиях. Например, семантическая сеть[2], семантическая паутина;
булева логика и алгебра для разработки аппаратного обеспечения компьютеров;
решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения
доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;
фундаментальные понятия и представления для компьютерных наук, которые являются естественной областью для формальной логики. Например, семантика языков программирования[3];
логика знания и предположения. Например, искусственный интеллект;
язык Пролог и логическое программирование для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта;
логика для описания пространственного положения и перемещения;
логика в информационных технологиях. Например, реляционная модель данных, реляционные СУБД, реляционная алгебра, реляционное исчисление[4];
логика вычислений с объектами. Например, комбинаторная логика, суперкомбинаторы[5];
логика для компилирования программного кода и его оптимизации. Например, категориальная абстрактная машина;
логика для эквивалентного преобразования объектов. Например, λ-исчисление;
переизложение логики и математики в терминах, понятных специалистам в компьютерных науках[6].