List of loglangs and quasi-loglangs: Difference between revisions

From the Logical Languages Wiki
Jump to navigation Jump to search
No edit summary
mNo edit summary
 
(10 intermediate revisions by the same user not shown)
Line 1: Line 1:
List of known logical languages:
== Logical languages (by genre) ==
* [[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, [[User:And Rosta|And Rosta]], [[User:Maiku|Mike S.]], 2012): https://xorban.wordpress.com/
* [[Toaq]] (solpahi, 2013): http://toaq.org/ | https://discord.gg/qDqDsH9
* [[UNLWS]]


Formal:
; Spoken
* CycL, ontology language: https://en.wikipedia.org/wiki/CycL
:; Loglandic (‘LoCCan’)
* IKL: http://www.jfsowa.com/ikl/
::* [[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: [https://en.wikipedia.org/wiki/CycL Wikipedia article]
::* IKL: [http://www.jfsowa.com/ikl/]
::* Web Ontology Language (OWL): [https://en.wikipedia.org/wiki/Web_Ontology_Language Wikipedia article]
:; Theorem provers
::* 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].


The following ones aren't loglangs, but are more or less related nevertheless:
== Some important non-loglangs ==
* 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
* Láadan (Suzette Haden Elgin, 1982), related to [[the Sapir–Whorf hypothesis]]: [https://www.laadanlanguage.org/ website (dead link?)]
* Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: http://www.rickmor.x10.mx/lexical_semantics.html
* Ceqli (Rex F., 1996), influenced by [[Loglan]]: [https://ceqliblog.blogspot.com/], [http://ceqli.pbworks.com/w/page/5455970/FrontPage]
* Ithkuil (John Quijada, 2004): http://www.ithkuil.net/ | https://discord.gg/ucvZXt3
* Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: [http://www.rickmor.x10.mx/lexical_semantics.html]
* The New Ithkuilic Language (John Quijada, ): http://www.ithkuil.net/New%20Morpho-phonology_Version_0_11.pdf | https://discord.gg/jr7P964
* Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: [http://www.ithkuil.net/], [https://discord.gg/ucvZXt3 Discord community]
* LIT: https://discord.gg/2cBzTEa
* 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 community]

Latest revision as of 16:33, 30 March 2020

Logical languages (by genre)

Spoken
Loglandic (‘LoCCan’)
Tonal
Non-isolating
Isolating (particle-based)
Experimental
Graphical
Formal
Ontology languages
Theorem provers

Some others are mentioned over at the Lojban wiki.

Some important non-loglangs