ردهها گویاییهای بستگی گویایی B گویایی E همچنین شناخته شده با: منطق E برابر انگلیک (انگلیسی): Logic E 1.𝐴→𝐴 A→A A→Aاینهمانیaxiom▲ Logic N⁎ 2.𝐴→(𝐴∨𝐵) | 𝐵→(𝐴∨𝐵) A→(A∨B) | B→(A∨B) A→(A∨B) | B→(A∨B)اندرهازش ∨axiom▲ Logic N⁎ 3.(𝐴∧𝐵)→𝐴 | (𝐴∧𝐵)→𝐵 (A∧B)→A | (A∧B)→B (A∧B)→A | (A∧B)→Bزدایش ∧axiom▲ Logic N⁎ 4.((𝐴→𝐵)∧(𝐴→𝐶))→(𝐴→(𝐵∧𝐶)) ((A→B)∧(A→C))→(A→(B∧C)) ((A→B)∧(A→C))→(A→(B∧C))اندرهازش ∧axiom▲ Logic B 5.((𝐴→𝐶)∧(𝐵→𝐶))→((𝐴∨𝐵)→𝐶) ((A→C)∧(B→C))→((A∨B)→C) ((A→C)∧(B→C))→((A∨B)→C)زدایش ∨axiom▲ Logic B 6.((𝐴→𝐴)→𝐵)→𝐵 ((A→A)→B)→B ((A→A)→B)→BEntailmentaxiom✹ 7.(𝐴→¬𝐵)→(𝐵→¬𝐴) (A→¬B)→(B→¬A) (A→¬B)→(B→¬A)پادنهشaxiom✹ 8.¬¬𝐴→𝐴 ¬¬A→A ¬¬A→ADouble Negation Eliminationaxiom✹