والتر كارنيلي

أسهم كارنيلي في نظرية البرهان ودلالات المنطق متعدد القيم والمنطق المتناقض . وقد عمّمت طريقته الجدولية للمنطق متعدد القيم جميع المعالجات السابقة لهذا الموضوع. ^{[ 1 ]} كما ساهم اقتراحه لدلالات الترجمات الممكنة (تفسير دلالي جديد للمنطق المتناقض) في إحياء التفسير الفلسفي للمنطق المتناقض. ^{[ 2 ] [ 3 ]}

لقد فتحت منطقات التناقض الرسمي، التي تنظم فئة كبيرة من المنطق المتناقض، الطريق لتطبيق التناقض على علوم الحاسوب وللبحوث الفلسفية الجديدة حول التناقض.

كما نشر أبحاثًا في مجال التوافقية المحدودة وغير المحدودة ، وطوّر (بالتعاون مع أ.م. سيت وب.أ. فيلوسو) المنطق المُعدَّل، وهو نوع جديد من المنطق يسمح بصياغة الاستدلال النوعي باستخدام مُكمِّمات معممة خاصة. وتشمل أبحاثه أيضًا نظرية النماذج ، والمنطق غير الكلاسيكي ، وأسس الحوسبة الكمومية ، وتركيبات المنطق.

• WA Carnielli. حول مسائل التلوين والتغطية لمجالات الرخ، الرياضيات المتقطعة 57 (1985)، ص  9-16.
• كارنيلي، دبليو إيه. تنظيم منطق القيم المتعددة المحدودة من خلال طريقة الجداول. مجلة المنطق الرمزي 52 (2)، 1987، ص  73-493.
• كارنيلي (مع نيوتن سي إيه دا كوستا). منطق الواجبات المتناقض. فلسفة – المجلة الفلسفية الفصلية لإسرائيل ، المجلد 16، العددان 3 و4 (1988)، الصفحات  293-305.
• WA Carnielli. متباينات مجال هايبر-روك. دراسات في الرياضيات التطبيقية ( معهد ماساتشوستس للتكنولوجيا ) 82، العدد 1 (1990)، ص  59-69.
• دبليو إيه كارنيلي (مع سي إيه دي بريسكو). بعض النتائج حول علاقات التقسيم المستقطبة ذات الأبعاد الأعلى. مجلة المنطق الرياضي الفصلية 39 (1993) ص  461-474.
• دبليو إيه كارنيلي (مع بي إيه إس فيلوسو). منطق المرشح الفائق والاستدلال العام. في المنطق الحسابي ونظرية البرهان (فيينا، 1997)، الصفحات  34-53، سلسلة محاضرات في علوم الحاسوب 1289، سبرينغر، برلين، 1997.
• كارنيلي، دبليو إيه. دلالات الترجمات الممكنة للمنطق المتناقض. في: آفاق في المنطق المتناقض: وقائع المؤتمر العالمي الأول حول التناقض، غنت، 1998، ص  159-172، حرره د. باتنز وآخرون، منشورات كينغز كوليدج، 2000.
• WA Carnielli (مع EL Monte Carmelo). أعداد رامزي ثنائية الأجزاء K2,2-K1,n و K2,n-K2,n. الرياضيات المتقطعة ، المجلد 223 (1-3)، 2000، الصفحات  83-92.
• كارنيلي (مع سي. سيرناداس وج. راسغا). التليف المعدل ومشكلة الانهيار. مجلة المنطق الرمزي 67(4) 2002 ص  1541-1569.
• دبليو إيه كارنيلي (مع جيه ماركوس). تصنيف أنظمة C. في: التناقض الظاهري - الطريق المنطقي إلى غير المتسق، سلسلة محاضرات في الرياضيات البحتة والتطبيقية، المجلد 228، الصفحات  01-94، 2002.
• كارنيلي (مع سي. كاليرو، إم. إي. كونيلو، وجيه. ماركوس). رفقة الاثنين: خداع القيم المنطقية المتعددة. في: المنطق الشامل (تحرير جيه.-واي. بيزيو). بازل: بيركهاوزر، 2005، ص  169-189.
• دبليو إيه كارنيلي (مع إيه بي إم برونر). مناهضة الحدسية والتناقض الظاهري . مجلة المنطق التطبيقي ، المجلد 3، العدد 1، مارس 2005، الصفحات 161-184.
• دبليو إيه كارنيلي (مع إم إي كونيلو). منطق الانقسام. في: سنريهم: مقالات تكريمًا لدوف غاباي . (تحرير إس أرتيموف ، إتش بارينجر، إيه إس أفيلا غارسيز ، إل سي لامب، وجيه وودز). لندن: منشورات كينغز كوليدج، 2005، المجلد 1، الصفحات  389-414.
• كارنيلي، دبليو إيه (مع كونيلو، إم إي، وماركوس، جيه). منطق التناقض الصوري. في: دليل المنطق الفلسفي، المجلد 14، الصفحات  15-107. المحررون: غاباي، دي؛ غوينتنر، إف. سبرينغر، 2007.
• WA Carnielli (مع ME Coniglio. دمج المنطق. موسوعة ستانفورد للفلسفة ، 2007).
• دبليو إيه كارنيلي (مع جيه راسغا وسي سيرناداس ). الحفاظ على خصائص الاستيفاء بواسطة التليف. مجلة المنطق الرياضي الفصلية ، المجلد 18، العدد 1، 2008، الصفحات

123-151.

• دبليو إيه كارنيلي (مع جيه راسغا وسي سيرناداس ). الاستيفاء عبر الإزاحات. مجلة المنطق الرياضي الفصلية ، المجلد 55، العدد 5، 2009، الصفحات 515-534.
• WA Carnielli (مع JC Agudelo). الآلات المتناقضة وعلاقتها بالحوسبة الكمومية.. مجلة المنطق والحوسبة ، المجلد 20، العدد 2، 2010، الصفحات 573-595.

• آر إل إبستين و دبليو إيه كارنيلي. الحوسبة: الدوال القابلة للحساب، والمنطق، وأسس الرياضيات، مع الجدول الزمني للحوسبة وعدم الحسم . الطبعة الثانية. وادزورث/تومسون ليرنينج، بلمونت، كاليفورنيا، 2000.
• وا كارنيلي و سي بيتزي. الوسائط المتعددة والوسائط المتعددة . فرانكو أنجيلي، ميلانو، 2001.
• WA Carnielli و RL Epstein Computabilidade: Funções Computáveis, Lógica e os Fundamentos da Matemática الفائز بجائزة Jabuti لعام 2007 ، وهي جائزة أدبية مرموقة في البرازيل.
• WA Carnielli و C. Pizzi. الطرائق والطرائق المتعددة . Springer-Verlag)، 2008.
• WA Carnielli، ME Coniglio، D. Gabbay، P. Gouveia و C. Sernadas . تحليل وتوليف المنطق. كيفية قص ولصق أنظمة الاستدلال . سلسلة المنطق التطبيقي، سبرينغر، 2008.