Proof theory for admissible rules

Rosalie Iemhoff, George Metcalfe. Proof theory for admissible rules. Annals of Pure and Applied Logic, 159(1-2):171-186, 2009. [doi]

Abstract

Abstract is missing.