List of loglangs and quasi-loglangs: Difference between revisions
Jump to navigation
Jump to search
(moved content from the Charter) |
(a more sound categorization, etc.) |
||
Line 1: | Line 1: | ||
== Logical languages (by | == Logical languages (by genre) == | ||
; Loglandic | ; Spoken | ||
:* [[Loglan]] (James Cooke Brown, 1955): [http://www.loglan.org/] | :*; Loglandic | ||
:* [[Lojban]] (Bob «lojbab» LeChevalier et al., 1987): [http://www.lojban.org/], [https://discord.gg/XjbnCvs Discord community] | :*:* [[Loglan]] (James Cooke Brown, 1955): [http://www.loglan.org/] | ||
:* [[Gua\spi]] (Jim Carter, 1991): [http://www.jfcarter.net/~jimc/guaspi/index.html] | :*:* [[Lojban]] (Bob «lojbab» LeChevalier et al., 1987): [http://www.lojban.org/], [https://discord.gg/XjbnCvs Discord community] | ||
:* [[Toaq]] ( | :*:* [[Gua\spi]] (Jim Carter, 1991): [http://www.jfcarter.net/~jimc/guaspi/index.html] | ||
; Loglan-influenced | :*:* [[Toaq]] (Miles «solpahi» Forster, 2013): [http://toaq.org/], [https://discord.gg/qDqDsH9 Discord community] | ||
:* [[Voksigid]] (Bruce Gilson, 1991): [https://web.archive.org/web/20170427022212/http://viewsoflanguage.host56.com/voksigid/ archive] | :*; Loglan-influenced | ||
:* [[Liva]] (Claudio Gnoli, 1995): [https://web.archive.org/web/20091018191408/www.geocities.com/Athens/Agora/7070/liva.htm archive] | :*:* [[Voksigid]] (Bruce Gilson, 1991): [https://web.archive.org/web/20170427022212/http://viewsoflanguage.host56.com/voksigid/ archive] | ||
:* [[Lojsk]] (Ari Reyes, 2002): [https://mw.lojban.org/papri/Lojsk lojban.org article] | :*:* [[Liva]] (Claudio Gnoli, 1995): [https://web.archive.org/web/20091018191408/www.geocities.com/Athens/Agora/7070/liva.htm archive] | ||
:* [[Trari]] (Bruce Gilson, 2009): [https://mw.lojban.org/papri/trari lojban.org article] | :*:* [[Lojsk]] (Ari Reyes, 2002): [https://mw.lojban.org/papri/Lojsk lojban.org article] | ||
; Experimental | :*:* [[Trari]] (Bruce Gilson, 2009): [https://mw.lojban.org/papri/trari lojban.org article] | ||
:* [[X-1]] ( | :*; Experimental | ||
:* [[Xorban]] (Xorxes, [[User:And Rosta|And Rosta]], [[User:Maiku|Mike S.]], 2012): [https://xorban.wordpress.com/] | :*:* [[X-1]] (Jörg Rhiemeier et al., 2005): [https://mw.lojban.org/papri/X-1 lojban.org article] | ||
:* [[UNLWS]] (Alex Fink, Sai, | :*:* [[Xorban]] (Xorxes, [[User:And Rosta|And Rosta]], [[User:Maiku|Mike S.]], 2012): [https://xorban.wordpress.com/] | ||
; Graphical | |||
:* [[UNLWS]] (Alex Fink, Sai, ''year unknown''): [https://s.ai/nlws/] | |||
; Formal | ; Formal | ||
:* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article] | :* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article] |
Revision as of 12:30, 25 March 2020
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
- Formal
-
- CycL, ontology language: Wikipedia article
- IKL: [7]
- 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