List of loglangs and quasi-loglangs: Difference between revisions

From the Logical Languages Wiki
Jump to navigation Jump to search
(one last change 😅)
m (fixed formatting (one character!))
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
;; Ontology languages
:; Ontology languages
::* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article]
::* CycL, ontology language: [https://en.wikipedia.org/wiki/CycL Wikipedia article]
::* IKL: [http://www.jfsowa.com/ikl/]
::* IKL: [http://www.jfsowa.com/ikl/]

Revision as of 19:03, 25 March 2020

Logical languages (by genre)

Spoken
Loglandic
Loglan-influenced
Experimental
Graphical
  • UNLWS (Alex Fink, Sai, year unknown): [6]
Formal
Ontology languages
Theorem provers

Some others are mentioned over at the Lojban wiki.

Some important non-loglangs