All Title Author
Keywords Abstract


From Abstract Rewriting Systems to Abstract Proof Systems

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

comments powered by Disqus