List of loglangs and quasi-loglangs: Difference between revisions

Latest revision as of 16:33, 30 March 2020

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

@@ Line 1: / Line 1: @@
-== Logical languages (by ‘genre’) ==
+== Logical languages (by genre) ==
-; Loglandic
+; Spoken
-:* [[Loglan]] (James Cooke Brown, 1955): [http://www.loglan.org/]
+:; Loglandic (‘LoCCan’)
-:* [[Lojban]] (Bob «lojbab» LeChevalier et al., 1987): [http://www.lojban.org/], [https://discord.gg/XjbnCvs Discord community]
+::* [[Loglan]] (1995)
-:* [[Gua\spi]] (Jim Carter, 1991): [http://www.jfcarter.net/~jimc/guaspi/index.html]
+::* [[Lojban]] (1987)
-:* [[Toaq]] (solpahi, 2013): [http://toaq.org/], [https://discord.gg/qDqDsH9 Discord community]
+::* [[Loksan]] (2012)
-; Loglan-influenced
+:; Tonal
-:* [[Voksigid]] (Bruce Gilson, 1991): [https://web.archive.org/web/20170427022212/http://viewsoflanguage.host56.com/voksigid/ archive]
+::* [[Gua\spi]] (1989)
-:* [[Liva]] (Claudio Gnoli, 1995): [https://web.archive.org/web/20091018191408/www.geocities.com/Athens/Agora/7070/liva.htm archive]
+::* [[Toaq]] (2013)
-:* [[Lojsk]] (Ari Reyes, 2002): [https://mw.lojban.org/papri/Lojsk lojban.org article]
+:; Non-isolating
-:* [[Trari]] (Bruce Gilson, 2009): [https://mw.lojban.org/papri/trari lojban.org article]
+::* [[Voksigid]] (1991)
-; Experimental
+::* [[Trari]] (2009)
-:* [[X-1]] (many people, 2005): [https://mw.lojban.org/papri/X-1 lojban.org article]
+:; Isolating (particle-based)
-:* [[Xorban]] (Xorxes, [[User:And Rosta|And Rosta]], [[User:Maiku|Mike S.]], 2012): [https://xorban.wordpress.com/]
+::* [[Liva]] (1995)
-:* [[UNLWS]] (Alex Fink, Sai, ?): [https://s.ai/nlws/]
+::* [[Lojsk]] (2002)
+:; Experimental
+::* [[X-1]] (2005)
+::* [[Xorban]] (2012)
+; Graphical
+:* [[UNLWS]] (?)
 ; Formal
-:* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article]
+:; Ontology languages
-:* IKL: [http://www.jfsowa.com/ikl/]
+::* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article]
-:* Coq: [https://coq.inria.fr/]
+::* IKL: [http://www.jfsowa.com/ikl/]
-:* Isabelle: [https://isabelle.in.tum.de/]
+::* Web Ontology Language (OWL): [https://en.wikipedia.org/wiki/Web_Ontology_Language Wikipedia article]
-:* Lean: [https://leanprover.github.io/]
+:; 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].

List of loglangs and quasi-loglangs: Difference between revisions

Latest revision as of 16:33, 30 March 2020

Logical languages (by genre)

Some important non-loglangs

Navigation menu

Search