Negation and Involutive Adjunction Export

@misc{citeulike:315826, abstract = {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.}, archivePrefix = {arXiv}, author = {Dosen, K. and Petric, Z.}, citeulike-article-id = {315826}, citeulike-linkout-0 = {http://arxiv.org/abs/math.LO/0506302}, citeulike-linkout-1 = {http://arxiv.org/pdf/math.LO/0506302}, day = {9}, eprint = {math.LO/0506302}, keywords = {coherence, logic, negation, pnc, prooftheory, studyleave2005}, month = {Sep}, posted-at = {2005-09-12 09:38:06}, priority = {4}, title = {Negation and Involutive Adjunction}, url = {http://arxiv.org/abs/math.LO/0506302}, year = {2005} }

TY - ELEC ID - citeulike:315826 L3 - citeulike-article-id:315826 N2 - 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. TI - Negation and Involutive Adjunction KW - coherence KW - logic KW - negation KW - pnc KW - prooftheory KW - studyleave2005 AU - Dosen, K AU - Petric, Z PY - 2005/Sep/09/ UR - http://arxiv.org/abs/math.LO/0506302 ER -