List of loglangs and quasi-loglangs

List of known logical languages:

• Loglan (James Cooke Brown, 1955): http://www.loglan.org/
• Lojban (Bob «lojbab» LeChevalier et al., 1987): http://www.lojban.org/ | https://discord.gg/XjbnCvs
• Voksigid (Bruce Gilson, 1991): https://web.archive.org/web/20170427022212/http://viewsoflanguage.host56.com/voksigid/
• Gua\spi (Jim Carter, 1991): http://www.jfcarter.net/~jimc/guaspi/index.html
• Liva (?, 1995): https://web.archive.org/web/20091018191408/www.geocities.com/Athens/Agora/7070/liva.htm
• Lojsk (Ari Reyes, 2002): https://mw.lojban.org/papri/Lojsk
• X-1 (many people, 2005): https://mw.lojban.org/papri/X-1
• Trari (Bruce Gilson, 2009): https://mw.lojban.org/papri/trari
• Xorban (Xorxes, And Rosta, Mike S., 2012): https://xorban.wordpress.com/
• Toaq (solpahi, 2013): http://toaq.org/ | https://discord.gg/qDqDsH9
• UNLWS

Formal:

• CycL, ontology language: https://en.wikipedia.org/wiki/CycL
• IKL: http://www.jfsowa.com/ikl/

Some others are mentioned over at the Lojban wiki.

The following ones aren't loglangs, but are more or less related nevertheless:

• Láadan (Suzette Haden Elgin, 1982), related to the Sapir–Whorf hypothesis: https://www.laadanlanguage.org/
• Ceqli (Rex F., 1996), influenced by Loglan: https://ceqliblog.blogspot.com/ | http://ceqli.pbworks.com/w/page/5455970/FrontPage
• Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: http://www.rickmor.x10.mx/lexical_semantics.html
• Ithkuil (John Quijada, 2004): http://www.ithkuil.net/ | https://discord.gg/ucvZXt3
• The New Ithkuilic Language (John Quijada, —): http://www.ithkuil.net/New%20Morpho-phonology_Version_0_11.pdf | https://discord.gg/jr7P964
• LIT: https://discord.gg/2cBzTEa