Negation and Involutive Adjunction

Details Negation and Involutive Adjunction Negation and Involutive Adjunction

2005-06-15

arxiv.org/abs/math/0506302v2

Mathematics

Logic

10 pages

Scientific paper

This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction. The notion of involutive adjunction amounts in a precise sense to adjunction where an endofunctor is adjoint to itself.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-288825