توضیحات
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics – Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.
Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods — or, better, the fecund interplay of algebra and proof theory — has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments.
This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.
————————————————————–
ترجمه ماشینی :
این جلد وضعیت هنر را در بررسی جبری در منطق زیرساختی ارائه می دهد. این شامل مقالاتی از کارگاه AsubL (جبر و منطق زیربنایی – Take 6) است. این رویداد که در دانشگاه کالیاری ایتالیا برگزار میشود، بخشی از چارچوب پروژه Horizon 2020 SYSMICS است: نحو با معناشناسی: روشها، تعاملات و اتصالات در منطقهای زیرساختی ملاقات میکند.
منطقهای زیرساختی معمولاً به عنوان سیستمهای Gentzen فرموله میشوند. فاقد یک یا چند قانون ساختاری آنها در طول دو دهه گذشته به شدت توسط منطق دانان با گرایش های مختلف مورد مطالعه قرار گرفته اند. این محققان شامل ریاضیدانان، فیلسوفان، زبان شناسان و دانشمندان کامپیوتر هستند. منطق زیرساختی برای بررسی ریاضی فرآیندهایی مانند استدلال آگاهانه از منابع، استدلال تقریبی، گرامر نظری نوع و سایر مفاهیم کانونی در علوم کامپیوتر قابل استفاده است. آنها همچنین در معرفت شناسی، اقتصاد و زبان شناسی کاربرد دارند. توسل به روشهای جبری – یا بهتر بگوییم، تأثیر متقابل جبر و نظریه اثبات – در ارائه چارچوبی یکپارچه برای این تحقیقات مفید بوده است. سری کنفرانس های AsubL، به ویژه، نقش مهمی در این پیشرفت ها ایفا کرده است.
این مجموعه برای دانشجویان و محققان علاقه مند به منطق های زیرساختی، منطق جبری انتزاعی، شبکه های باقی مانده، نظریه اثبات، جذاب خواهد بود. جبر جهانی، و معناشناسی منطقی.
tag : دانلود کتاب دیدگاه های جبری در منطق زیرساختی , Download دیدگاه های جبری در منطق زیرساختی , دانلود دیدگاه های جبری در منطق زیرساختی , Download Algebraic Perspectives on Substructural Logics Book , دیدگاه های جبری در منطق زیرساختی دانلود , buy دیدگاه های جبری در منطق زیرساختی , خرید کتاب دیدگاه های جبری در منطق زیرساختی , دانلود کتاب Algebraic Perspectives on Substructural Logics , کتاب Algebraic Perspectives on Substructural Logics , دانلود Algebraic Perspectives on Substructural Logics , خرید Algebraic Perspectives on Substructural Logics , خرید کتاب Algebraic Perspectives on Substructural Logics ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.