Category:Logical languages
Jump to navigation
Jump to search
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.