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

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Symbol rozcestia

Toto je rozlišovacia stránka. Obsahuje odkazy na rozličné stránky, ktoré by mohli mať rovnaký názov.

Ak ste sa sem dostali cez odkaz v článku, prosím, vráťte sa a opravte ho tak, aby odkazoval priamo na najvhodnejší význam.