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