Unity in nominal equational reasoning: the algebra of equality on nominal sets
type: Item
instance of: scholarly article
title: Unity in nominal equational reasoning: the algebra of equality on nominal sets
zbMATH Open document ID: 1239.03019
published in: Journal of Applied Logic
publication date: 2012-05-23T00:00:00Z
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6037812
zbMATH Keywords: survey paper
zbMATH Keywords: nominal algebra
zbMATH Keywords: nominal equational reasoning
zbMATH Keywords: equality logic
zbMATH Keywords: nominal sets
zbMATH Keywords: permissive-nominal algebra
zbMATH Keywords: semantic and syntactic freshness
author: Murdoch J. Gabbay
MaRDI profile type: Publication
full work available at URL: j.jal.2012.03.001
OpenAlex ID: W2142400104
cites work: Q3409072
cites work: Nominal Matching and Alpha-Equivalence
cites work: A polynomial nominal unification algorithm
cites work: Binding in Nominal Equational Logic
cites work: Nominal Lawvere Theories
cites work: Nominal equational logic
cites work: Q5515373
cites work: Q5667469
cites work: Permissive-nominal logic
cites work: Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
cites work: Nominal rewriting
cites work: Term Equational Systems and Logics
cites work: Semantics Out of Context
cites work: Nominal Algebra and the HSP Theorem
cites work: A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
cites work: Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
cites work: Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
cites work: Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
cites work: Capture-Avoiding Substitution as a Nominal Algebra
cites work: Nominal Renaming Sets
cites work: One-and-a-halfth-order Logic
cites work: A Formal Calculus for Informal Equality with Binding
cites work: Nominal (Universal) Algebra: Equational Logic with Names and Binding
cites work: A Nominal Axiomatization of the Lambda Calculus
cites work: A new approach to abstract syntax with variable binding
cites work: Cylindric algebras. Part II
cites work: Q4003410
cites work: On universal algebra over nominal sets
cites work: An Efficient Nominal Unification Algorithm
cites work: Nominal Unification from a Higher-Order Perspective
cites work: Nominal unification
DOI: 10.1016/J.JAL.2012.03.001
description: scientific article; zbMATH DE number 6037812