From Abstract Rewriting Systems to Abstract Proof Systems

Details From Abstract Rewriting Systems to Abstract Proof Systems From Abstract Rewriting Systems to Abstract Proof Systems

2009-11-07

arxiv.org/abs/0911.1412v1

Computer Science

Logic in Computer Science

15 pages, 3 figures

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

From Abstract Rewriting Systems to Abstract Proof Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with From Abstract Rewriting Systems to Abstract Proof Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From Abstract Rewriting Systems to Abstract Proof Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-699595