Equality of Proofs for Linear Equality

Details Equality of Proofs for Linear Equality Equality of Proofs for Linear Equality

2006-01-20

arxiv.org/abs/math/0601490v5

Mathematics

Logic

19 pages, minor corrections

Scientific paper

This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is induced by coherence, understood as the existence of a faithful functor from a syntactical category into a category whose arrows correspond to diagrams. Edges in these diagrams join occurrences of variables that must remain the same in every generalization of the proof. It is found that assumptions about equality of proofs for equality are parallel to standard assumptions about equality of arrows in categories. They reproduce standard categorial assumptions on a different level. It is also found that assumptions for a preordering relation involve an adjoint situation.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-9623