… logic [55]. The application was purely to represent and reason about formal syntax with
metavariables. In this article, we explore nominal algebra, an application of nominal … Nominal …

… The language has a natural interpretation in nominal sets. The main contribution of this
paper is to extend the usual (many-sorted) equational logic to a logic for deriving judgements …

… nominal sets model, which will be necessary for the presentation of the syntax of Nominal
Equational Logic in … This section presents syntax and proof rules for Nominal Equational Logic (…

… Nominal unification [23] is the problem of solving equations … Nominal unification is decidable
and unitary [23], and … si , ti are nominal terms with variables X and Δi is a freshness context. …

… This paper presents an improved sequent calculus NL⇒ for nominal logic. Basic results such
as … into a logic called nominal logic [12]. Nominal logic is typed, first-order equational logic …

… by equations modulated by side conditions asserting the “freshness of names”; these may be
expressed as theories of Nominal Equational Logic (… that we call nominal Lawvere theories. …

… nominal unification algorithm, confluence proofs for nominal rewriting, soundness and
completeness results for nominal algebra and permissive-nominal logic, … logics based on nominal …

… [24], and the Nominal Equational Logic of Clouston and Pitts [6]. The nominal systems have
been shown to correspond to the Synthetic Nominal Equational Logic (SNEL) of Fiore and …

… nominal equational problems of the form ∃W∀Y : P, where P consists of conjunctions and
disjunctions of equations of the … of nominal techniques, including nominal logic [10], nominal …

… This section presents Nominal Equational Logic (NEL), a logic for … see Nominal Equational-only
Logic (NEoL), as we give no first-class logical connective for freshness, unlike the logic …