Un plongement de la logique classique du 2nd ordre dans AF2

DOI10.1016/S0764-4442(97)83922-5zbMath0878.03039OpenAlexW1995577431MaRDI QIDQ4355235

T. Joly

Publication date: 20 November 1997

Published in: Comptes Rendus de l'Académie des Sciences - Series I - Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0764-4442(97)83922-5

zbMATH Keywords

normalizationnatural deductionsecond-order logicproof translationsinteger representationssecond-order functional arithmetic\(\lambda\mu\)-calculus reduction

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Non-strictly positive fixed points for classical natural deduction

This page was built for publication: Un plongement de la logique classique du 2nd ordre dans AF2