No Group for Constructive Logics: the Intuitionistic and Linear Cases - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Chapitre D'ouvrage Année : 2012

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.
Fichier non déposé

Dates et versions

hal-01224112 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224112 , version 1

Citer

Baptiste Mélès. No Group for Constructive Logics: the Intuitionistic and Linear Cases. Jean-Yves Béziau; Dale Jacquette. Around and Beyond the Square of Opposition, Springer, pp.201-217, 2012, 978-3-0348-0378-6. ⟨hal-01224112⟩
63 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More