論理的文法を持った記号言語