توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب طیف گسترده ای از مسائل به روز در منطق غیر کلاسیک را پوشش می دهد که نه تنها برای منطق دانان فلسفی و ریاضی، بلکه برای دانشمندان کامپیوتر و محققان هوش مصنوعی نیز مورد توجه است. مشکلات پرداخته شده طیف وسیعی از مسائل روش شناختی در منطق پاراسازگار و دیونتیک گرفته تا نظریه تجدید نظر حقیقت و ماشین های تورینگ نامحدود است. این کتاب تعدادی از روندهای مهم فعلی در منطق غیر کلاسیک معاصر را شناسایی می کند. از جمله آنها می توان به منطق گفتگوی و زیرساختی، طبقه بندی مفاهیم نفی، نظریه حقیقت ساز، و جنبه های ریاضی و بنیادی منطق وجهی و زمانی اشاره کرد.
tag : دانلود کتاب مقالاتی در مورد منطق غیر کلاسیک , Download مقالاتی در مورد منطق غیر کلاسیک , دانلود مقالاتی در مورد منطق غیر کلاسیک , Download Essays on Non-Classical Logic Book , مقالاتی در مورد منطق غیر کلاسیک دانلود , buy مقالاتی در مورد منطق غیر کلاسیک , خرید کتاب مقالاتی در مورد منطق غیر کلاسیک , دانلود کتاب Essays on Non-Classical Logic , کتاب Essays on Non-Classical Logic , دانلود Essays on Non-Classical Logic , خرید Essays on Non-Classical Logic , خرید کتاب Essays on Non-Classical Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.