This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.
لغة الإنجليزية ● شكل PDF ● صفحات 276 ● ISBN 9789812799746 ● حجم الملف 12.1 MB ● محرر Heinrich Wansing ● الناشر World Scientific Publishing Company ● مدينة Singapore ● بلد SG ● نشرت 2001 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 2447036 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM