Современный толковый словарь - логическая семантика

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