ЛОГИЧЕСКИЙ СИНТАКСИС

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

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

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

  1. ЛОГИЧЕСКИЙ СИНТАКСИС — ЛОГИЧЕСКИЙ СИНТАКСИС – см. Формализованный язык [ФОРМАЛИЗОВАННЫЙ ЯЗЫК]. Новая философская энциклопедия