Algebraic Perspectives on Substructural Logics

ویرایش: 1st ed. 
نویسندگان: Davide Fazio,  Antonio Ledda,  Francesco Paoli  
سری: Trends in Logic 55 
ISBN (شابک) : 9783030521622, 9783030521639 
ناشر: Springer International Publishing;Springer 
سال نشر: 2021 
تعداد صفحات: 200 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 60,000



این جلد وضعیت هنر را در بررسی جبری در منطق زیرساختی ارائه می دهد. این شامل مقالاتی از کارگاه AsubL (جبر و منطق زیربنایی - Take 6) است. این رویداد که در دانشگاه کالیاری ایتالیا برگزار می‌شود، بخشی از چارچوب پروژه Horizon 2020 SYSMICS است: نحو با معناشناسی: روش‌ها، تعاملات و اتصالات در منطق‌های زیرساختی ملاقات می‌کند.

منطق‌های زیرساختی معمولاً به عنوان سیستم‌های Gentzen فرموله می‌شوند. فاقد یک یا چند قانون ساختاری آنها در طول دو دهه گذشته به شدت توسط منطق دانان با گرایش های مختلف مورد مطالعه قرار گرفته اند. این محققان شامل ریاضیدانان، فیلسوفان، زبان شناسان و دانشمندان کامپیوتر هستند. منطق زیرساختی برای بررسی ریاضی فرآیندهایی مانند استدلال آگاهانه از منابع، استدلال تقریبی، گرامر نظری نوع و سایر مفاهیم کانونی در علوم کامپیوتر قابل استفاده است. آنها همچنین در معرفت شناسی، اقتصاد و زبان شناسی کاربرد دارند. توسل به روش‌های جبری - یا بهتر بگوییم، تأثیر متقابل جبر و نظریه اثبات - در ارائه چارچوبی یکپارچه برای این تحقیقات مفید بوده است. سری کنفرانس های AsubL، به ویژه، نقش مهمی در این پیشرفت ها ایفا کرده است.این مجموعه برای دانشجویان و محققان علاقه مند به منطق های زیرساختی، منطق جبری انتزاعی، شبکه های باقی مانده، نظریه اثبات، جذاب خواهد بود. جبر جهانی، و معناشناسی منطقی.

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.

Front Matter ....Pages i-x
 Editorial Introduction  (Davide Fazio, Antonio Ledda, Francesco Paoli)....Pages 1-9
 Distributivity and Varlet Distributivity  (Paolo Aglianò)....Pages 11-20
 On Distributive Join Semilattices  (Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo)....Pages 21-40
 Implication in Weakly and Dually Weakly Orthomodular Lattices  (Ivan Chajda, Helmut Länger)....Pages 41-56
 Residuated Operators and Dedekind–MacNeille Completion  (Ivan Chajda, Helmut Länger, Jan Paseka)....Pages 57-72
 PBZ\(^{*}\)–Lattices: Ordinal and Horizontal Sums  (Roberto Giuntini, Claudia Mureşan, Francesco Paoli)....Pages 73-105
 EMV-Algebras—Extended MV-Algebras  (Anatolij Dvurečenskij, Omid Zahiri)....Pages 107-132
 Quasi-Nelson; Or, Non-involutive Nelson Algebras  (Umberto Rivieccio, Matthew Spinks)....Pages 133-168
 Hyperdoctrines and the Ontology of Stratified Semantics  (Shay Allen Logan)....Pages 169-193