N. Sergei, . Artemov-&-rosalie, and . Iemhoff, From de Jongh's theorem to intuitionistic logic of proofs, Dick de Jongh's Festschrift, pp.1-10, 2004.

J. Girard, P. Taylor, and Y. Lafont, Proofs and types. Cambridge tracts in theoretical computer science 7, 1989.

K. Gödel, Uber eine bisher noch nicht bentzte Erweiterung des finiten, Standpunktes. Dialectica, vol.12, pp.280-287, 1958.

R. Harrop, On disjunctions and existential statements in intuitionistic systems of logic, Mathematische Annalen, vol.132, issue.4, pp.347-361, 1956.

R. Iemhoff, A(nother) characterization of intuitionistic propositional logic, Annals of Pure and Applied Logic, vol.113, issue.1, pp.161-173, 2001.

R. Iemhoff, On the admissible rules of intuitionistic propositional logic, The Journal of Symbolic Logic, vol.66, issue.1, pp.281-294, 2001.

R. Iemhoff, Intermediate logics and Visser's rules, Notre Dame Journal of Formal Logic, vol.46, issue.1, pp.65-81, 2005.
DOI : 10.1305/ndjfl/1107220674

URL : https://doi.org/10.1305/ndjfl/1107220674

G. Kreisel and &. Putnam, Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkl, Archiv für mathematische Logik und Grundlagenforschung, vol.3, issue.3-4, pp.74-78, 1957.
DOI : 10.1007/bf01988049

. Paulrozì, Admissible and Derivable Rules in Intuitionistic Logic, Mathematical Structures in Computer Science, vol.3, issue.2, pp.129-136, 1993.