في هذا القسم، يتم فحص ادعاء جيه سي بيل بأن المنطق الديونتي الحر (FDE) إذا كان منطقًا صحيحًا، فإنه يفتقر إلى نفي منطقي بشكل نقدي. يعتمد حجة بيل على غياب قواعد النفي المستقلة في أنظمة الإثبات القياسية لـ FDE. يقترح المؤلف أنه من خلال استخدام نظام إثبات ثنائي لـ FDE، من الممكن تأكيد وجود نفي…