Intuitionistic logic, منطق شهودی , منطق شهودگرایی, گویایی درگس باوری, گویایی درگسباوری گویاییهای فرو کلاسیک گویایی درگسباوری ایده گویایی درگسباوری [=شهودگرایی] یک دستگاه فروهازشی [=استنتاجی] است که بر بنیان درگسباوری گسترش داده شده است. به گونهی نادیسهای [=غیرصوری] نخستین بار بوسیله ال. ای. جِی. براوئر انگارشدان و فرزانهی هلندی در انگارش درگسباوری به کار گرفته شد، بوسیله آرند هیتینگ (و بخشی از آن بوسیله گلیونکو) دیسهای گردید، بوسیله آندری کولموگورف آزند[=تعبیر] شد و بوسیله گرهارد گنتزن و کورت گودل در سه دهه نخست سدهی بیستم مورد بررسی قرار گرفت. قانون میانی سکلانده 𝐴∨¬𝐴 A∨¬A A∨¬A Double negative elimination ¬¬𝐴⊃𝐴 ¬¬A⊃A ¬¬A→A گویایی کرایزل-پاتنم پیافکنی کلینی پیافکنی هیتینگ Intuitionistic logic axiomatization آزندی بر افماریک گزارهای درگسباوری