Kosta Dosen
, 2006, 'Models of deduction*',
Synthese
148 (3), 639-657.