List of loglangs and quasi-loglangs: Difference between revisions
Jump to navigation
Jump to search
m (formatting oops) |
(one last change 😅) |
||
Line 18: | Line 18: | ||
:* [[UNLWS]] (Alex Fink, Sai, ''year unknown''): [https://s.ai/nlws/] | :* [[UNLWS]] (Alex Fink, Sai, ''year unknown''): [https://s.ai/nlws/] | ||
; 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]. |
Revision as of 12:44, 25 March 2020
Logical languages (by genre)
- Spoken
-
- Loglandic
-
- Loglan (James Cooke Brown, 1955): [1]
- Lojban (Bob «lojbab» LeChevalier et al., 1987): [2], Discord community
- Gua\spi (Jim Carter, 1991): [3]
- Toaq (Miles «solpahi» Forster, 2013): [4], Discord community
- Loglan-influenced
-
- Voksigid (Bruce Gilson, 1991): archive
- Liva (Claudio Gnoli, 1995): archive
- Lojsk (Ari Reyes, 2002): lojban.org article
- Trari (Bruce Gilson, 2009): lojban.org article
- Formal
- Ontology languages
-
- CycL, ontology language: Wikipedia article
- IKL: [7]
- 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: [11], [12]
- Latejami (Rick Morneau, 1995), whose design is optimized for machine translation purposes: [13]
- Ithkuil (John Quijada, 2004), whose aim is to describe meanings as precisely as possible: [14], Discord community
- The New Ithkuilic Language (John Quijada, work in progress): write-up, Discord community
- LIT (?): Discord community