Category:Logical languages
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.
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.