Deduction as Reduction

Details Deduction as Reduction Deduction as Reduction

2010-11-05

arxiv.org/abs/1011.1330v1

Computer Science

Logic in Computer Science

Scientific paper

Deduction systems and graph rewriting systems are compared within a common
categorical framework. This leads to an improved deduction method in
diagrammatic logics.

Affiliated with

Also associated with

No associations

Rating

Deduction as Reduction 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 Deduction as Reduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deduction as Reduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-453764