logical language

Logical languages, sometimes called loglangs, are constructed languages usually intended as experiments in logic or philosophy. They are meant to allow unambiguous statements. They are typically based on predicate logic but can be based on any system of formal logic. The two best-known logical languages are the predicate languages Loglan and its successor Lojban. Some logical languages have been considered candidate global auxiliary languages.

Examples of logical languages

Human-usable

Knowledge representation

External links

<< Previous

Word Browser

Next >>

emil gilels
lackawaxen river
toronto environmental coalition
sessile
doro
nexpspace
espace
uk general election, 2005
nespace
nexptime
bentalha massacre

calliactis
ne (complexity)
e (complexity)
lackawanna river
abreaction photography
kenan thompson
northeast
atria
john sutton, 3rd lord dudley
northwest
balanus

rem (mythology)
william eliot, 2nd earl of st germans
artistic language
studebaker gran turismo hawk
gray mouse lemur
naveta
namazu
lyle and erik menendez
johann josef loschmidt
mark rosenfelder
eureka, nevada

zin
mr. prospector
public bodies and task forces of the uk government
list of members of the colorado house of representatives
severn cotswold tomb
list of mobile country codes
william eckert
transepted gallery grave
list of members of the colorado state house of representatives
set your goals
entrance grave