Значение слова ЛОГИЧЕСКАЯ в Большом российском энциклопедическом словаре

ЛОГИЧЕСКАЯ

ЛОЃИЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логич. исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практич. применимости и др. В более спец. смысле - дедуктивная теория, описывающая свойства понятия истинности в формализов. языках логики и математики.

Большой российский энциклопедический словарь.