Towards Paraconsistent Engineering

این کتاب مجموعه‌ای از مشارکت‌های منطقی مرتبط با همسانی کاربردی را ارائه می‌کند. علاوه بر این، همه آنها به مناسبت شصتمین سالگرد تولد ژایر مینورو آبه تقدیم شده است. او یکی از متخصصان مهندسی Paraconsistent است که به اصطلاح منطق های حاشیه نویسی را توسعه داده است. این کتاب شامل کمک های مهمی در زمینه مبانی و کاربردهای منطق های ناسازگار در ارتباط با مهندسی، منطق ریاضی، منطق فلسفی، علوم کامپیوتر، فیزیک، اقتصاد و زیست شناسی است. برای دانشجویان و محققانی که در زمینه مهندسی و منطق کار می کنند، جالب خواهد بود.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.