siewicz 多值逻辑、模煳逻辑 IMTL 等。对合性否定有时作为额外的连结词而增加到有非对合性否定的逻辑中；比如形式模煳逻辑。否定的对合性是逻辑和对应的代数簇的重要特征性质。例如，对合性否定从Heyting代数中特征化出了布尔代数。相应的，经典布尔逻辑可印发自直觉逻辑加上双重否定律。
对合的总数.在有 "n" = 0, 1, 2, … 个元素的集合上对合的数目给出自递推关系:这个序列的前几项是 1, 1, 2, 4, 10, 26, 76, 232 。