LANGUAGES / FORMAL SEMANTICS
Enkel
A controlled language that turns explicit grammatical structure into scoped meaning trees.
- Current state
- Language prototype
- Discipline
- Languages · Formal semantics
- Built with
- Python / EBNF / JSON
The idea
Natural-language word order can conceal a change in scope or reference. Enkel makes tense, argument roles, quantifier order and negation explicit, then renders the accepted structure deterministically.
How it works
A dependency-free Python compiler parses a closed grammar, lowers surface order into a JSON-safe scoped tree and produces a canonical English rendering. A limited English input layer accepts declared patterns and reports ambiguity instead of guessing.
What’s implemented
- Explicit quantifier scope, tense, roles and negation
- Scoped meaning-tree and deterministic English/JSON output
- A limited English input layer and inspectable vocabulary
- Tests for reference identity, finite-world counterexamples and normalization round trips
PROJECT STATUS / LANGUAGE PROTOTYPE
Where it stands
Formal language prototype · v0.2.0
- Does not translate arbitrary English or infer intended reference
- Grammar, vocabulary and context are closed and explicit
- Unique structure does not establish real-world truth
Source & resources
Documentation behind this project page
Reviewed October 1, 2026. Project descriptions reflect a source review; repository validation claims were not independently reproduced.