منطق ابرشهودگرایی

یک منطق ابرشهودگرایی، یک مجموعهٔ L از فرمولهای گزاره‌ای در مجموعه‌ای شمارا از متغیرهای p_i است که خواص زیر را برآورده می‌کنند:

۱. همه اصول موضوعه منطق شهودی متعلق به L؛

۲. اگر F و G فرمولهایی باشند که F و F → G هر دو متعلق به L باشند، آنگاه G نیز متعلق به L است (بسته تحت وضع مقدم)؛

۳. اگر ‏F(p₁, p₂, … , p_n)‎ یک فرمول L بوده و G_۱، G_۲, … , G_n هر فرمولی باشند، در آنصورت ‏F(G₁, G₂, … , G_n)‎ متعلق به L است (بسته تحت جایگزینی).

چنین منطقی میانی است اگر علاوه بر این

۴. L مجموعه تمام فرمول‌ها نیست.