The Russell-Prawitz embedding and the atomization of universal instantiation

DOI10.1093/JIGPAL/JZAA025zbMath1494.03031arXiv1909.01232OpenAlexW3046138748MaRDI QIDQ5014064

José Espírito Santo, Gilda Ferreira

Publication date: 3 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.01232

zbMATH Keywords

intuitionistic propositional calculussystem Fproof reductionpredicative polymorphismRussell-Prawitz translation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Higher-order logic (03B16)

Related Items (2)

A refined interpretation of intuitionistic logic by means of atomic polymorphism ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

This page was built for publication: The Russell-Prawitz embedding and the atomization of universal instantiation