Category:Logical languages: Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''Logical languages''' (often abbreviated to '''loglangs''') are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also...") |
(No difference)
|
Latest revision as of 15:17, 24 November 2021
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.