Logical languages (often abbreviated to loglangs) are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also be based on any system of formal logic.
This category contains only the following page.