دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
دانلود کتاب منطق، زبان، اطلاعات و محاسبات: بیست و ششمین کارگاه بین المللی، WoLLIC 2019، اوترخت، هلند، 2-5 ژوئیه، 2019، مجموعه مقالات
مشخصات کتاب
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
ویرایش: 1st ed. نویسندگان: Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz سری: Lecture Notes in Computer Science 11541 ISBN (شابک) : 9783662595329 ناشر: Springer Berlin Heidelberg سال نشر: 2019 تعداد صفحات: 682 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب منطق، زبان، اطلاعات و محاسبات: بیست و ششمین کارگاه بین المللی، WoLLIC 2019، اوترخت، هلند، 2-5 ژوئیه، 2019، مجموعه مقالات: علوم کامپیوتر، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، زبان، اطلاعات و محاسبات: بیست و ششمین کارگاه بین المللی، WoLLIC 2019، اوترخت، هلند، 2-5 ژوئیه، 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، زبان، اطلاعات و محاسبات: بیست و ششمین کارگاه بین المللی، WoLLIC 2019، اوترخت، هلند، 2-5 ژوئیه، 2019، مجموعه مقالات
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری بیست و ششمین کارگاه آموزشی منطق، زبان، اطلاعات و ارتباطات، WoLLIC 2019، در اوترخت، هلند، در ژوئیه 2019 است. 41 مقاله کامل همراه با 6 سخنرانی دعوت شده ارائه شده به طور کامل بررسی و از 60 مورد ارسالی انتخاب شدند. ایده این است که انجمنی داشته باشیم که از نظر تعداد تعاملات احتمالی بین منطق و علوم مربوط به اطلاعات و محاسبات به اندازه کافی بزرگ باشد و در عین حال به اندازه کافی کوچک باشد که امکان تعامل واقعی و مفید بین شرکت کنندگان را فراهم کند.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
فهرست مطالب
Front Matter ....Pages i-xxi
On Combinatorial Proofs for Logics of Relevance and Entailment (Matteo Acclavio, Lutz Straßburger)....Pages 1-16
An Infinitary Treatment of Full Mu-Calculus (Bahareh Afshari, Gerhard Jäger, Graham E. Leigh)....Pages 17-34
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality (Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday)....Pages 35-52
Rigid First-Order Hybrid Logic (Patrick Blackburn, Manuel Martins, María Manzano, Antonia Huertas)....Pages 53-69
The One-Variable Fragment of Corsi Logic (Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt)....Pages 70-83
Analytic Calculi for Monadic PNmatrices (Carlos Caleiro, Sérgio Marcelino)....Pages 84-98
Non Normal Logics: Semantic Analysis and Proof Theory (Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis)....Pages 99-118
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics (Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc)....Pages 119-139
Modelling Informational Entropy (Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg)....Pages 140-160
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic (Jim de Groot, Dirk Pattinson)....Pages 161-176
The McKinsey-Tarski Theorem for Topological Evidence Logics (Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González)....Pages 177-194
A Self-contained Provability Calculus for \(\varGamma _0\) (David Fernández-Duque, Eduardo Hermo-Reyes)....Pages 195-207
Descriptive Complexity of Deterministic Polylogarithmic Time (Flavio Ferrarotti, Senén González, José María Turull Torres, Jan Van den Bussche, Jonni Virtema)....Pages 208-222
A Representation Theorem for Finite Gödel Algebras with Operators (Tommaso Flaminio, Lluis Godo, Ricardo O. Rodríguez)....Pages 223-235
Bar Induction and Restricted Classical Logic (Makoto Fujiwara)....Pages 236-247
Uniform Labelled Calculi for Conditional and Counterfactual Logics (Marianna Girlando, Sara Negri, Giorgio Sbardolini)....Pages 248-263
Bar-Hillel Theorem Mechanization in Coq (Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev)....Pages 264-281
Proof-Net as Graph, Taylor Expansion as Pullback (Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco)....Pages 282-300
Complexity Thresholds in Inclusion Logic (Miika Hannula, Lauri Hella)....Pages 301-322
The Multiresolution Analysis of Flow Graphs (Steve Huntsman)....Pages 323-341
An Exponential Lower Bound for Proofs in Focused Calculi (Raheleh Jalali)....Pages 342-355
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later (Max Kanovich, Stepan Kuznetsov, Andre Scedrov)....Pages 356-372
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit (Max Kanovich, Stepan Kuznetsov, Andre Scedrov)....Pages 373-391
Logics for First-Order Team Properties (Juha Kontinen, Fan Yang)....Pages 392-414
Modal Auxiliaries and Negation: A Type-Logical Account (Yusuke Kubota, Robert Levine)....Pages 415-432
Subset Models for Justification Logic (Eveline Lehmann, Thomas Studer)....Pages 433-449
Algebraic Semantics for Quasi-Nelson Logic (Fei Liang, Thiago Nascimento)....Pages 450-466
A Case for Property-Type Semantics (Kristina Liefke)....Pages 467-485
Note on Globally Sound Analytic Calculi for Quantifier Macros (Matthias Baaz, Anela Lolic)....Pages 486-497
Closure Ordinals of the Two-Way Modal \(\mu \)-Calculus (Gian Carlo Milanese, Yde Venema)....Pages 498-515
SIXTEEN\(_3\) in Light of Routley Stars (Hitoshi Omori, Daniel Skurt)....Pages 516-532
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra (Thomas Powell, Peter Schuster, Franziskus Wiesnet)....Pages 533-549
Reverse Mathematics and Computability Theory of Domain Theory (Sam Sanders)....Pages 550-568
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs (Yury Savateev, Daniyar Shamkanov)....Pages 569-583
On First-Order Expressibility of Satisfiability in Submodels (Denis I. Saveliev)....Pages 584-593
Substructural Propositional Dynamic Logics (Igor Sedlár)....Pages 594-609
Modal Logics of Finite Direct Powers of \(\omega \) Have the Finite Model Property (Ilya Shapirovsky)....Pages 610-618
Knowledge Without Complete Certainty (Hans van Ditmarsch, Louwe B. Kuijer)....Pages 619-632
A Framework for Distributional Formal Semantics (Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer)....Pages 633-646
Weak Conservativity (Richard Zuber)....Pages 647-660
Back Matter ....Pages 661-662
نظرات کاربران
کتاب های تصادفی
دانلود کتاب New Developments in International Commercial and Consumer Law: Proceedings of the 8th Biennial Conference of the International Academy of Commercial and Consumer Law
دانلود کتاب Φιλοσοφική και Πολιτική Βιβλιοθήκη - 6 Η φιλοσοφία. Από τον Φρουντ ως τον στρουκτουραλισμό (Τόμος Δ’)
دانلود کتاب Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions
