List of loglangs and quasi-loglangs: Difference between revisions
Jump to navigation
Jump to search
(a more sound categorization, etc.) |
mNo edit summary |
||
(7 intermediate revisions by the same user not shown) | |||
Line 2: | Line 2: | ||
; Spoken | ; 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 | ; Graphical | ||
:* [[UNLWS]] ( | :* [[UNLWS]] (?) | ||
; Formal | ; 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]. | Some others are mentioned [https://mw.lojban.org/papri/loglang over at the Lojban wiki]. |
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