Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Val. 11541

?

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Vol. 11541: Lecture Notes in Computer Science. Берлин , Хайдельберг : Springer, 2019.

L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit

Канович М. И., Кузнецов С. Л., Щедров А., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 373–391.

Добавлено: 4 сентября 2019 г.

The complexity of multiplicative-additive Lambek calculus: 25 years later

Добавлено: 4 сентября 2019 г.

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

Саватеев Ю. В., Шамканов Д. С., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 569–583.

Добавлено: 16 сентября 2019 г.

Приоритетные направления: компьютерно-математическое

Язык: английский

Текст на другом сайте

Ключевые слова: Logic

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.

Добавлено: 24 декабря 2025 г.

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

Добавлено: 1 декабря 2025 г.

Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning

Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.

Добавлено: 21 ноября 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 2025 г.

Онтологическая логика абсурда Александра Зиновьева

Поляков Л. В., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43

В статье предпринимается попытка описать логику трансформации логической концепции Александра Зиновьева, обозначенной им самим как «комплексная логика», в художественный текст особого жанра — «социологический роман». При этом поиск Зиновьева сопоставляется с центральной задачей Гегеля в его трехтомнике «Наука логики» и с парадоксальными исходными посылками «Логико-философского трактата» Л. Витгенштейна. Единство логики, гносеологии и онтологии, постулированное Зиновьевым, оборачивается ...

Добавлено: 24 декабря 2024 г.

Themes from Weir: A Celebration of the Philosophy of Alan Weir

Cham: Springer, 2024.

This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen’s, Belfast. In a number of areas, Weir has elaborated strikingly original views which involve a radical departure from the mainstream. ...

Добавлено: 12 сентября 2024 г.

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Cham: Springer, 2022.

Добавлено: 7 августа 2022 г.

Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Cham: Springer, 2020.

Добавлено: 25 ноября 2020 г.

Стратегии аргументации в Древнем мире

Крючкова С. Е., М.: Юрайт, 2020.

Разработка идей аргументации в Древнем мире была тесно связана с формированием логики, как науки о мышлении, а также развитием ораторского искусства. Наличие постоянной риторической практики, в ходе которой вырабатывались наиболее эффективные приемы убеждающего речевого воздействия, стимулировало развитие сходных идей аргументации на Западе и на Востоке, несмотря на различное понимание антропологических перспектив в античной и восточной ...

Добавлено: 28 декабря 2019 г.

Twelfth International Tbilisi Symposium on Language, Logic and Computation

Centre for Language, Logic and Speech at the Tbilisi State University, 2017.

Добавлено: 8 октября 2019 г.

Что не так? Математические парадоксы и софизмы

Львовский С. М., М.: МЦНМО, 2019.

В первой главе брошюры собрано 25 занимательных примеров ошибочных математических и логических рассуждений; читателю предлагается найти в этих рассуждениях ошибки, а затем свериться с разбором ошибок, приведенным во второй главе. Для всех интересующихся математикой, начиная со школьников. ...

Добавлено: 2 сентября 2019 г.

Philosophy and Logic: Interdisciplinary Approach

Васюков В. Л., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 60–61.

Добавлено: 30 июня 2019 г.

Semeiotic completeness in the theory of signs

Пиетаринен А. Ю., Semiotica 2019 Vol. 228 P. 237–257

Добавлено: 9 мая 2019 г.

Введение в критическое мышление и теорию креативности

Лау Д. Ф., М.: Эксмо, 2017.

Автор учит пробуждать в себе креативность, используя эмоции как фактор мотивации, объясняет концепцию критического мышления, дает читателю инструДобавление/редактирование публикацийменты для повышения четкости и рациональности собственных суждений, а также показывает, где конкретно применима та или иная теория ...

Добавлено: 8 октября 2018 г.

Aristotle on the relation between logic and ontology

Васюков В. Л., Вестник Российского университета дружбы народов. Серия: Философия 2017 Vol. 21 No. 2 P. 192–198

Добавлено: 29 июня 2018 г.

Language, Truth, and Logic

Вендланд А. Д., , in: Other Logics.: Leiden: Brill, 2014.

Добавлено: 18 декабря 2017 г.