List of loglangs and quasi-loglangs: Difference between revisions

From the Logical Languages Wiki
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-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