A new graphical calculus of proofs

Details A new graphical calculus of proofs A new graphical calculus of proofs

2011-02-14

arxiv.org/abs/1102.2655v1

EPTCS 48, 2011, pp. 69-84

Computer Science

Logic in Computer Science

In Proceedings TERMGRAPH 2011, arXiv:1102.2268

Scientific paper

10.4204/EPTCS.48.8

We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic). This graphical calculus of proofs inherits good features from each, but is not constrained by them. By the Curry-Howard isomorphism, the representation applies equally to the lambda calculus, offering an alternative diagrammatic representation of functional computations.

Affiliated with

Also associated with

No associations

Rating

A new graphical calculus of proofs 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 A new graphical calculus of proofs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A new graphical calculus of proofs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-213648