[AD]工学言語-論理的言語についての関連情報
1.論理的言語
論理的言語は、明白な表現法を許容(強制)するものだとされる。それらは典型的に一階述語論理を基盤とするが、いかなる形式論理学のシステムに基盤とすることができる。2つのもっとも有名な論理的言語は、統語上の曖昧性を除去し、意味的曖昧性を最低限に下げようとした述語言語ログランとその後継者ロジバンである。明白な表現の力を保持するが話者が簡潔性を明白性と取り替えることを許すことを狙ったチェンリは、ログランの派生言語である。
(出典:Wikipedia)
Fasimoトップ>工学言語>論理的言語
