List of loglangs and quasi-loglangs

Logical languages (by genre)

Spoken

Loglandic

• Loglan (James Cooke Brown, 1955): [1]
• Lojban (Bob «lojbab» LeChevalier et al., 1987): [2], Discord community
• Gua\spi (Jim Carter, 1991): [3]
• Toaq (Miles «solpahi» Forster, 2013): [4], Discord community

Loglan-influenced

• Voksigid (Bruce Gilson, 1991): archive
• Liva (Claudio Gnoli, 1995): archive
• Lojsk (Ari Reyes, 2002): lojban.org article
• Trari (Bruce Gilson, 2009): lojban.org article

Experimental

• X-1 (Jörg Rhiemeier et al., 2005): lojban.org article
• Xorban (Xorxes, And Rosta, Mike S., 2012): [5]

Graphical

• UNLWS (Alex Fink, Sai, year unknown): [6]

Formal

Ontology languages

• CycL, ontology language: Wikipedia article
• IKL: [7]
• Web Ontology Language (OWL): Wikipedia article

Theorem provers

• Coq: [8]
• Isabelle: [9]
• Lean: [10]

Some others are mentioned over at the Lojban wiki.

Some important non-loglangs

• Láadan (Suzette Haden Elgin, 1982), related to the Sapir–Whorf hypothesis: website (dead link?)
• Ceqli (Rex F., 1996), influenced by Loglan: [11], [12]
• Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: [13]
• Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: [14], Discord community
• The New Ithkuilic Language (John Quijada, work in progress): write-up, Discord community
• LIT (?): Discord community