No Group for Constructive Logics: the Intuitionistic and Linear Cases
Résumé
The aim of this work is to show that no group of opposition can be built for constructive logics like intuitionistic or linear logics. Moreover, the attempt to apply the square of opposition to linear logic shows that the lack of subcontrariety and the asymmetry of contradiction are not equivalent properties. The former property, not the latter, is the general reason why there can be no group of opposition for constructive logics.
Loading...