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 v0.1.0. For other versions, see the archive (when available).

Choose your path

Also

• Glossary — terms used across both trees.
• Source on GitHub — the LogEx implementation.
• Full README on GitHub — principles and philosophy.

• Glossary

  Defined terms used across the language and internals trees.

• Internals

  How the LogEx lexer, parser, binding algebra, and rewrite engine work.

• Language

  Syntax, semantics, and conceptual underpinnings of LogEx.