On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem
Copyright policy )On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
- University of Verona Italy
- TU Wien Austria
- University of Lyon System France
- École Normale Supérieure de Lyon France
- Laboratoire de l'Informatique du Parallélisme France
Proof theory in general (including proof-theoretic semantics), [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], delimited exceptions, Computational learning theory, classical first-order logic, Classical first-order logic, Curry-Howard correspondence, classical first-order logic, natural deduction, Herbrand theorem, delimited exceptions, Curry-Howard correspondence, Herbrand's theorem, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Combinatory logic and lambda calculus, Cut-elimination and normal-form theorems, natural deduction
Proof theory in general (including proof-theoretic semantics), [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], delimited exceptions, Computational learning theory, classical first-order logic, Classical first-order logic, Curry-Howard correspondence, classical first-order logic, natural deduction, Herbrand theorem, delimited exceptions, Curry-Howard correspondence, Herbrand's theorem, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Combinatory logic and lambda calculus, Cut-elimination and normal-form theorems, natural deduction
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).10 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!