مطالعه قواعد استنتاج در منطق های مطالعه های غیر کلاسیک / ناربه آبولیان