List of loglangs and quasi-loglangs: Difference between revisions
Jump to navigation
Jump to search
(added authors, years of creation, and short descriptions) |
mNo edit summary |
||
(11 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
== Logical languages (by genre) == | |||
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]. | ||
== 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/ | * 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/ | * 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, | * 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
- Graphical
-
- UNLWS (?)
- Formal
-
- Ontology languages
-
- CycL, ontology language: Wikipedia article
- IKL: [1]
- Web Ontology Language (OWL): Wikipedia article
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