دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st ed. 2020 نویسندگان: Shier Ju (editor), Alessandra Palmigiano (editor), Minghui Ma (editor) سری: Logic in Asia: Studia Logica Library ISBN (شابک) : 9811513414, 9789811513411 ناشر: Springer سال نشر: 2020 تعداد صفحات: 159 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب Nonclassical Logics and Their Applications: Post-proceedings of the 8th International Workshop on Logic and Cognition (Logic in Asia: Studia Logica Library) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق غیرکلاسیک و کاربردهای آنها: مقالات پس از هشتمین کارگاه بین المللی منطق و شناخت (منطق در آسیا: کتابخانه Studia Logica) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Preface Contents Hyperstates of Involutive MTL-Algebras that Satisfy (2x)2=2(x2) 1 Motivation 2 Abelian ell-Groups, MV-Algebras and Their States 3 From ell-Monoids to ell-Groups and Hoops 4 States of Prelinear Semihoops 5 States of IBP0-Algebras and Their Representation 6 Conclusions and Future Work References The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms 1 Introduction 1.1 Some Foundational Issues 1.2 Specification Styles 1.3 General Motivation 1.4 This Paper\'s Categorical Investments 1.5 This Paper\'s Categorical Dividends 1.6 Explicitness for Novice Category Theorists and Others 1.7 Organization 2 The Category of Node-and-Choice Forms 2.1 Objects 2.2 Morphisms 2.3 The Category NCF 2.4 No-Absentmindedness and Perfect-Information 3 The Subcategory of Choice-Sequence Forms 3.1 Objects 3.2 Isomorphic Enclosure 3.3 More About No-Absentmindedness 4 The Subcategory of Choice-Set Forms 4.1 Objects 4.2 Isomorphic Enclosure 4.3 More About Perfect-Information 5 Further Remarks 5.1 Deducing Consequences from an Isomorphic Enclosure 5.2 Future Research References About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability 1 Introduction 2 Products of Unbounded Dense Linear Orders 3 Syntax and Semantics 4 Mosaics 5 Maps 6 Correctness and Completeness of the Mosaic Method 6.1 Correctness 6.2 Completeness 7 Decidability and Complexity 8 Conclusion References Contact Logic is Finitary for Unification with Constants 1 Introduction 2 Syntax 3 Semantics 4 About Classes of Frames 5 Unifiability 6 Examples 7 Monomials and Polynomials 8 Equivalence Relations Between Tuples of Bits 9 Equivalence Relations Between Formulas 10 Unification Type 11 Conclusion References A Multi-agent Default Theory of Permission 1 Multi-agent Prioritized Default Theory 1.1 Agent-Relative Defeasible Obligations 2 Three Types of Permissions 2.1 Weak Permissions 2.2 Explicit Permissions 2.3 Tacit Permissions 2.4 A Fourth Type: Protected Permissions 3 Conclusion References Algebraic Semantics for Hybrid Logics 1 Introduction 2 Preliminaries 3 Algebraic Semantics 3.1 Algebraic Semantics for the Language mathcalH 3.2 Algebraic Semantics for the Language mathcalH(@) 3.3 Duality with Two Sorted-General Frames 4 Algebraic Completeness: Axiomatic Extensions of H and H+ 4.1 Completeness of H oplusΣ 4.2 Completeness of H+oplusΣ 5 Algebraic Completeness: Axiomatic Extensions of H(@) and H+(@) 5.1 Completeness of H(@)oplusΣ 5.2 Algebraic Completeness of H+(@)oplusΣ 6 Global Completeness 7 Conclusion References