Negation and Involutive Adjunction

Simple item page
dc.creatorDosen, K.
dc.creatorPetric, Z.
dc.date2005-06-15
dc.date2005-09-09
dc.date.accessioned2026-07-07T05:20:46Z
dc.date.available2026-07-07T05:20:46Z
dc.descriptionThis 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.
dc.description10 pages
dc.identifierhttps://arxiv.org/abs/math/0506302
dc.identifierhttp://arxiv.org/abs/math/0506302
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/75501
dc.subjectLogic
dc.subjectCategory Theory
dc.subject03F03; 03F07; 18A15; 18A40
dc.titleNegation and Involutive Adjunction
dc.typetext

Files

Collections

arXiv