Logical languages, sometimes called loglangs, are constructed languages usually intended as experiments in logic or philosophy. They are normally based on formal logic and meant to allow unambiguous statements. The two best-known logical languages are Loglan and its successor Lojban.

Some logical languages have been considered candidate global auxiliary languages.

Contents

1 Examples of logical languages 1.1 Human-usable 1.2 Knowledge representation 2 External links

Examples of logical languages

Human-usable

• Ceqli
• Láadan
• Loglan
• Lojban

Knowledge representation

• CycL
• KIF
• Lincos
• Loom
• RDF

External links

• Garrett's Links to Logical Languages (http://minyeva.alkaline.org/links.htm)
• Conlang Directory: Logical (http://www.langmaker.com/db/condir_logical.htm)

it:Lingua logica