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