Логическое Исчисление

См. Логистика.

Источник: Философский словарь на Gufo.me


Значения в других словарях

  1. Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. Большая советская энциклопедия
  2. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Большой энциклопедический словарь