From Abstract Rewriting Systems to Abstract Proof Systems
classification
💻 cs.LO
cs.SC
keywords
abstractsystemsproofrewritingadmissibilityanalogyderivabilityformulating
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.