منطق الاستنتاجات المتعددة

المنطق متعدد النتائج هو منطق تكون فيه النتيجة المنطقية عبارة عن علاقة .${\displaystyle \vdash }$، بين مجموعتين من الجمل (أو القضايا ). ${\displaystyle \Gamma \vdash \Delta }$يُفسر ذلك عادةً على أنه يعني أنه كلما كان كل عنصر من${\displaystyle \Gamma }$صحيح، بعض عناصر${\displaystyle \Delta }$صحيح؛ وكلما كان كل عنصر من عناصر${\displaystyle \Delta }$هذا خطأ، بعض عناصر${\displaystyle \Gamma }$هذا غير صحيح. ترتبط هذه القراءة بتفسير غيرهارد جنتزن لحساب التتابعات المتعددة LK ، على الرغم من أن جنتزن يفسر متتابعاته${\displaystyle \Gamma \vdash \Delta }$كصيغ${\displaystyle (\bigwedge \Gamma )\supset (\bigvee \Delta )}$[ ^{1 ]​}

تم تطوير هذا الشكل من المنطق في السبعينيات من قبل دي جي شوسميث وتيموثي سمايلي ^{[ 2 ]} ولكنه لم يتم اعتماده على نطاق واسع.

يفضل بعض علماء المنطق (على سبيل المثال، جريج ريستال ^{[ 3 ]} ) علاقة النتائج المتعددة على علاقة النتائج الفردية الأكثر تقليدية على أساس أن الأخيرة غير متناظرة (بالمعنى غير الرسمي وغير الرياضي) وتفضل الحقيقة على الزيف (أو التأكيد على الإنكار).

• حساب المتتابعات