Glossary

Every defined term in the LogEx documentation has its own page here. Search ([Ctrl-K] or [/]) is the fastest way to find a term; the alphabetical list below is the structured browse path.

• Alpha-Equivalence
• Annotation
• AST (Abstract Syntax Tree)
• AXM (Axiom)
• BackRef (Backreference)
• Binder
• Binding
• Binding Analysis
• Bound Variable
• Capture
• Capture-Avoiding Substitution
• Conditional
• CST (Concrete Syntax Tree)
• De Bruijn Index
• Declaration
• DEF (Definition)
• Domain
• Existential Quantifier
• First-Order Logic (FOL)
• Free Variable
• Green-Red Tree
• Ident (Identifier)
• Lambda
• Let Binding
• logex (CLI Tool)
• LogEx (Language)
• Lossless Parsing
• Match Arm
• Match Block
• MATCH/REPLACE
• Object Language vs. Metalanguage
• Pattern
• Predicate
• Propositional Logic
• Quantifier
• Round-trip Invariant
• RULE
• Scope
• Second-Order Logic (SOL)
• Semantic Analysis
• Template
• Term
• THM (Theorem)
• Transformation Engine
• Trivia
• Type Checking
• Universal Quantifier
• Variable Capture
• Where Clause
• Wildcard