Abstract

Pour la logique à m valeurs, selon Lukasiewicz, l’on introduit un système de négations généralisées, qui sont caractérisées par l’indication de leurs matrices. On montre :1° Que ces négations généralisées peuvent se définir explicitement au moyen des liaisons fondamentales, négation et implication ;2° Qu’elles permettent de formuler des généralisations des principes du tiers exclu et de contradiction pour la logique à m valeurs ;3° Qu’elles permettent de prendre les matrices ordinaires au sens de règles de transformation et de construire ainsi une syntaxe spécifique pour tout système à m valeurs.