ردهها Sub-classical logics Intuitionistic logic 1.𝐴∨¬𝐴 A∨¬A A∨¬ALaw of excluded middleaxiom✹ 2.¬¬𝐴⊃𝐴 ¬¬A⊃A ¬¬A→ADouble negation eliminationaxiom✹ گسترشها Kreisel–Putnam logic نمونهها/پیادهسازیها Kleene axiomatization Heyting axiomatization Intuitionistic logic axiomatization جستارهای پیونددار An Interpretation of the Intuitionistic Propositional Calculus