A survey of proof nets and matrices for substructural logics

Details A survey of proof nets and matrices for substructural logics A survey of proof nets and matrices for substructural logics

2012-03-22

arxiv.org/abs/1203.4912v1

Computer Science

Logic in Computer Science

Scientific paper

This paper is a survey of two kinds of "compressed" proof schemes, the \emph{matrix method} and \emph{proof nets}, as applied to a variety of logics ranging along the substructural hierarchy from classical all the way down to the nonassociative Lambek system. A novel treatment of proof nets for the latter is provided. Descriptions of proof nets and matrices are given in a uniform notation based on sequents, so that the properties of the schemes for the various logics can be easily compared.

Affiliated with

Also associated with

No associations

Rating

A survey of proof nets and matrices for substructural logics 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 survey of proof nets and matrices for substructural logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A survey of proof nets and matrices for substructural logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-381458