Formalizovaný jazyk

Formalizovaný jazyk je výsledok striktného syntakticko-sémantického vybudovania alebo rekonštruovania jazyka (formalizácie jazyka). Kalkul s určitou interpretáciou.

Referencie

Pozri aj 
logický znak

Externé odkazy 
 

Filozofia jazyka
Informatika