LogEx Documentation

LogEx

LogEx — Logic Expression Notation

A regex-style notation system for mathematical logic. Express quantifiers, binders, scoping, and substitution in ASCII; reason about formulas with the same composability you get from regex.

This documentation describes LogEx v{{ config.extra.logex_version }}. For other versions, see the archive (when available).

Choose your path

For mathematical logicians

Syntax, semantics, scoping, alpha-equivalence. Reference and explanation.

For compiler students

Parser architecture, AST, error recovery. Reference and explanation.

Also

  • Glossary — terms used across both trees.
  • [Source on GitHub]({{ config.extra.source_url }}) — the LogEx implementation.
  • [Full README on GitHub]({{ config.extra.source_url }}#readme) — principles and philosophy.

  • Language

    Syntax, semantics, and conceptual underpinnings of LogEx.

  • Glossary

    Defined terms used across the language and internals trees.

  • Internals

    How the LogEx parser, AST, and error recovery work.