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