List of loglangs and quasi-loglangs: Difference between revisions
Jump to navigation
Jump to search
(restructurization) |
(moved content from the Charter) |
||
Line 2: | Line 2: | ||
; Loglandic | ; Loglandic | ||
:* [[Loglan]] (James Cooke Brown, 1955): [http://www.loglan.org/ | :* [[Loglan]] (James Cooke Brown, 1955): [http://www.loglan.org/] | ||
:* [[Lojban]] (Bob «lojbab» LeChevalier et al., 1987): [http://www.lojban.org/ | :* [[Lojban]] (Bob «lojbab» LeChevalier et al., 1987): [http://www.lojban.org/], [https://discord.gg/XjbnCvs Discord community] | ||
:* [[Gua\spi]] (Jim Carter, 1991): [http://www.jfcarter.net/~jimc/guaspi/index.html | :* [[Gua\spi]] (Jim Carter, 1991): [http://www.jfcarter.net/~jimc/guaspi/index.html] | ||
:* [[Toaq]] (solpahi, 2013): [http://toaq.org/ | :* [[Toaq]] (solpahi, 2013): [http://toaq.org/], [https://discord.gg/qDqDsH9 Discord community] | ||
; Loglan-influenced | ; Loglan-influenced | ||
:* [[Voksigid]] (Bruce Gilson, 1991): [https://web.archive.org/web/20170427022212/http://viewsoflanguage.host56.com/voksigid/ archive] | :* [[Voksigid]] (Bruce Gilson, 1991): [https://web.archive.org/web/20170427022212/http://viewsoflanguage.host56.com/voksigid/ archive] | ||
Line 13: | Line 13: | ||
; Experimental | ; Experimental | ||
:* [[X-1]] (many people, 2005): [https://mw.lojban.org/papri/X-1 lojban.org article] | :* [[X-1]] (many people, 2005): [https://mw.lojban.org/papri/X-1 lojban.org article] | ||
:* [[Xorban]] (Xorxes, [[User:And Rosta|And Rosta]], [[User:Maiku|Mike S.]], 2012): [https://xorban.wordpress.com/ | :* [[Xorban]] (Xorxes, [[User:And Rosta|And Rosta]], [[User:Maiku|Mike S.]], 2012): [https://xorban.wordpress.com/] | ||
:* [[UNLWS]] (Alex Fink, Sai, ?): [https://s.ai/nlws/ | :* [[UNLWS]] (Alex Fink, Sai, ?): [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] | ||
:* IKL: [http://www.jfsowa.com/ikl/ | :* IKL: [http://www.jfsowa.com/ikl/] | ||
:* Coq: [https://coq.inria.fr/] | |||
:* Isabelle: [https://isabelle.in.tum.de/] | |||
:* Lean: [https://leanprover.github.io/] | |||
Some others are mentioned [https://mw.lojban.org/papri/loglang over at the Lojban wiki]. | Some others are mentioned [https://mw.lojban.org/papri/loglang over at the Lojban wiki]. | ||
Line 25: | Line 28: | ||
* Láadan (Suzette Haden Elgin, 1982), related to [[the Sapir–Whorf hypothesis]]: [https://www.laadanlanguage.org/ website (dead link?)] | * Láadan (Suzette Haden Elgin, 1982), related to [[the Sapir–Whorf hypothesis]]: [https://www.laadanlanguage.org/ website (dead link?)] | ||
* Ceqli (Rex F., 1996), influenced by [[Loglan]]: [https://ceqliblog.blogspot.com/], [http://ceqli.pbworks.com/w/page/5455970/FrontPage] | * 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 | * Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: [http://www.rickmor.x10.mx/lexical_semantics.html] | ||
* Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: [http://www.ithkuil.net/ | * Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: [http://www.ithkuil.net/], [https://discord.gg/ucvZXt3 Discord community] | ||
* The New Ithkuilic Language (John Quijada, ''work in progress''): [http://www.ithkuil.net/New%20Morpho-phonology_Version_0_11.pdf write-up], [https://discord.gg/jr7P964 Discord] | * The New Ithkuilic Language (John Quijada, ''work in progress''): [http://www.ithkuil.net/New%20Morpho-phonology_Version_0_11.pdf write-up], [https://discord.gg/jr7P964 Discord community] | ||
* LIT (?): [https://discord.gg/2cBzTEa Discord] | * LIT (?): [https://discord.gg/2cBzTEa Discord community] |
Revision as of 12:25, 25 March 2020
Logical languages (by ‘genre’)
- Loglandic
-
- Loglan (James Cooke Brown, 1955): [1]
- Lojban (Bob «lojbab» LeChevalier et al., 1987): [2], Discord community
- Gua\spi (Jim Carter, 1991): [3]
- Toaq (solpahi, 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
- 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