Explore relationships

Logical language

Engineered languages (often abbreviated to engelangs, or, less commonly, engilangs) are constructed languages devised to test or prove some hypotheses about how languages work or might work.

Use + to expand a branch. Click a topic name to open its summary.