Results 1 -
3 of
3
Completeness and Herbrand Theorems for Nominal Logic
- Journal of Symbolic Logic
, 2006
"... Nominal logic is a variant of first-order logic in which abstract syntax with names and binding is formalized in terms of two basic operations: name-swapping and freshness. It relies on two important principles: equivariance (validity is preserved by name-swapping), and fresh name generation ("ne ..."
Abstract
-
Cited by 10 (5 self)
- Add to MetaCart
Nominal logic is a variant of first-order logic in which abstract syntax with names and binding is formalized in terms of two basic operations: name-swapping and freshness. It relies on two important principles: equivariance (validity is preserved by name-swapping), and fresh name generation ("new" or fresh names can always be chosen).
century: A journey through Frege, Russell and
, 2004
"... The evolution of types and logic in the 20th ..."
: Notation classique ↦ → Notation de de Bruijn
"... • I first met Thérèse in 1992 in the Netherlands at a meeting organised by Jan ..."
Abstract
- Add to MetaCart
• I first met Thérèse in 1992 in the Netherlands at a meeting organised by Jan
