直観主義論理
古典命題論理において、論理積、論理和または実質含意を基本的なものとすれば、他は否定を用いてウカシェヴィッチの命題論理のようにして定義できる。またこれら4つをパースの矢印(NOR)やシェファーの棒(NAND)のようなただひとつの論理結合子を用いて定義することもできる。同様に、古典一階述語論理において、一方の量化子は他方と否定を用いて定義できる。
これらは全ての結合子はブール関数であるという二値原理からの基本的な帰結である。二値原理は直観主義論理においては成り立たない。ただ無矛盾律だけが成り立つ。結果として、いかなる結合子も不要ではなく、上に述べたどの公理も必要であることが分かる。古典論理において成立する同値性は、直観主義論理においては、幾つかは成り立つけれども、多くは一方の含意だけが成り立つ。次のようなものがある:
論理積と論理和:
( φ ∧ ψ ) → ¬ ( ¬ φ ∨ ¬ ψ ) {\displaystyle (\phi \wedge \psi )\to \neg (\neg \phi \vee \neg \psi )}
( φ ∨ ψ ) → ¬ ( ¬ φ ∧ ¬ ψ ) {\displaystyle (\phi \vee \psi )\to \neg (\neg \phi \wedge \neg \psi )}
( ¬ φ ∨ ¬ ψ ) → ¬ ( φ ∧ ψ ) {\displaystyle (\neg \phi \vee \neg \psi )\to \neg (\phi \wedge \psi )}