دانلود کتاب Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Name: Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
Availability: InStock
Author: Katalin Bimbó
ISBN: 1575865742,9781575865744

by Katalin Bimbó, J. Michael Dunn

عنوان فارسی: تعمیم Galois منطق: رابطهای معانی غیرکلاسیک منطقی سنگ
ناشر: Center for the Study of Language and Information
سال: 2008
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 394-196
شابک: 1575865742,9781575865744
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 28.31 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.