Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
type: Item
instance of: scholarly article
title: Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
zbMATH Open document ID: 1251.03035
publication date: 2012-09-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1112.0923
full work available at URL: https://projecteuclid.org/euclid.jsl/1344862164
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03C98
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6083955
zbMATH Keywords: permissive-nominal techniques
zbMATH Keywords: infinite support
zbMATH Keywords: finite support
zbMATH Keywords: nominal algebra
zbMATH Keywords: permissive-nominal logic
zbMATH Keywords: completeness
zbMATH Keywords: infinite atoms-abstraction
author: Murdoch J. Gabbay
MaRDI profile type: Publication
OpenAlex ID: W2117028226
arXiv ID: 1112.0923
cites work: Completeness and Herbrand theorems for nominal logic
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: A general mathematics of names
cites work: Nominal Algebra and the HSP Theorem
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: Meta-variables as infinite lists in nominal terms unification and rewriting
cites work: A Formal Calculus for Informal Equality with Binding
cites work: Nominal (Universal) Algebra: Equational Logic with Names and Binding
cites work: A new approach to abstract syntax with variable binding
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Nominal logic, a first order theory of names and binding
cites work: Nominal unification
DOI: 10.2178/JSL/1344862164
published in: The Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6083955