logická syntax
logická syntax a) systém pravidel určujících tvoření (formaci) a odvozování (transformaci) výrazů v určitém kalkulu; b) část metateorie log., zkoumající strukturu a vlastnosti neinterpretovaných log. soustav (kalkulů). Toto pojetí l. s. zkoumá zejm. bezespornost, úplnost a nezávislost v log. soustavě, problematiku rozhodnutelnosti, teorie důkazu a dokazatelnosti. Význam l. s. stoupl zejm. v souvislosti s rozvojem kyb. a výpočetní tech.; její poznatky jsou využívány v celé oblasti teorie počítačů.
