List of loglangs and quasi-loglangs: Difference between revisions

From the Logical Languages Wiki
Jump to navigation Jump to search
(restructurization)
mNo edit summary
 
(9 intermediate revisions by the same user not shown)
Line 1: Line 1:
== Logical languages (by ‘genre’) ==
== Logical languages (by genre) ==


; Loglandic
; Spoken
:* [[Loglan]] (James Cooke Brown, 1955): [http://www.loglan.org/ website]
:; Loglandic (‘LoCCan’)
:* [[Lojban]] (Bob «lojbab» LeChevalier et al., 1987): [http://www.lojban.org/ website], [https://discord.gg/XjbnCvs Discord]
::* [[Loglan]] (1995)
:* [[Gua\spi]] (Jim Carter, 1991): [http://www.jfcarter.net/~jimc/guaspi/index.html website]
::* [[Lojban]] (1987)
:* [[Toaq]] (solpahi, 2013): [http://toaq.org/ website], [https://discord.gg/qDqDsH9 Discord]
::* [[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/ website]
::* [[Liva]] (1995)
:* [[UNLWS]] (Alex Fink, Sai, ?): [https://s.ai/nlws/ website]
::* [[Lojsk]] (2002)
:; Experimental
::* [[X-1]] (2005)
::* [[Xorban]] (2012)
; Graphical
:* [[UNLWS]] (?)
; Formal
; Formal
:* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article]
:; Ontology languages
:* IKL: [http://www.jfsowa.com/ikl/ website]
::* 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].
Line 25: Line 36:
* 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 write-up]
* 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/ website], [https://discord.gg/ucvZXt3 Discord]
* 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]

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

Retrieved from "https://loglangs.wiki/index.php?title=List_of_loglangs_and_quasi-loglangs&oldid=306"