%0 Journal Article
%T From Abstract Rewriting Systems to Abstract Proof Systems
%A Clemens Grabmayer
%J Computer Science
%D 2009
%I arXiv
%X Some personal recollections on the introduction of `abstract proof systems' as a framework for formulating syntax-independent, general results about rule derivability and admissibility. With a particular eye on the inspiration I owe to Roel de Vrijer: the analogy with abstract rewriting systems.
%U http://arxiv.org/abs/0911.1412v2