Nominal logic with equations only

DOI10.4204/EPTCS.71.4MaRDI QIDQ6940443zbMATH OpenFDO

Authors Ranald A. Clouston

Publication date 19 August 2025

Full work available at URL https://doi.org/10.4204/EPTCS.71.4

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• A new approach to abstract syntax with variable binding
• Alpha-structural recursion and induction
• Binding in nominal equational logic
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 1461245 (Why is no real title available?)
• scientific article; zbMATH DE number 2242589 (Why is no real title available?)
• Nominal (universal) algebra: equational logic with names and binding
• Nominal equational logic
• Nominal Lawvere Theories
• Nominal unification
• Term equational systems and logics (extended abstract)

This page was built for publication: Nominal logic with equations only

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940443)