Science Fair Project Encyclopedia
Logical language
Logical languages, sometimes called loglangs, are constructed languages usually intended as experiments in logic or philosophy. They are meant to allow unambiguous statements. They are typically based on predicate logic but can be based on any system of formal logic. The two best-known logical languages are the predicate languages Loglan and its successor Lojban.
Some logical languages have been considered candidate global auxiliary languages.
| Contents |
Examples of logical languages
Human-usable
Knowledge representation
External links
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details