List of loglangs and quasi-loglangs

Logical languages (by genre)

Spoken

Loglandic (‘LoCCan’)

• Loglan (1995)
• Lojban (1987)
• Loksan (2012)

Tonal

• Gua\spi (1989)
• Toaq (2013)

Non-isolating

• Voksigid (1991)
• Trari (2009)

Isolating (particle-based)

• Liva (1995)
• Lojsk (2002)

Experimental

• X-1 (2005)
• Xorban (2012)

Graphical

• UNLWS (?)

Formal

Ontology languages

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

Theorem provers

• Coq: [2]
• Isabelle: [3]
• Lean: [4]

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: [5], [6]
• Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: [7]
• Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: [8], Discord community
• The New Ithkuilic Language (John Quijada, work in progress): write-up, Discord community
• LIT (?): Discord community