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