Logická syntax

Logická syntax môže byť 
 systém pravidiel, ktoré určujú tvorenie a pretváranie výrazov určitého kalkulu
 časť metalogiky, skúmajúca štruktúru a vlastnosti neintrepretovaných kalkulov.

Externé odkazy