Традиционно выделяют следующие парадигмы и модели обработки данных: исчисление высказываний, исчисление предикатов, продукции, семантические сети, онтологии и др.

В логике существуют два вида исчислений: исчисление высказываний и исчисление предикатов.

Он различал два вида логических исчислений: исчисление высказываний и исчисление предикатов.

К этому заключению можно было прийти, не применяя формальную логику и процедуру исчисления высказываний.