工学言語
論理的言語(英語:loglangs)はその文法が形式論理に基づいて設計されているものとして定義される。論理的言語は曖昧さのない表現法を許容、あるいは強制するものだとされる。どの形式論理学の体系を基盤とするかに制限はないが、一階述語論理を基盤とするのが典型的である。論理的言語でもっとも有名なのは、統語上の曖昧性を除去し意味的な曖昧性を最低限にすることを目指した ログランとその後継者ロジバンである。特にロジバンの文法は、曖昧さのない文法で述語論理を表現できるように設計された。ログランの派生言語であるチェンリは、曖昧さのない表現力を残しながら、話者が明瞭さを犠牲に簡潔な表現を行うことを許容することを目的としている。