?
Non-well-founded proofs for the Grzegorczyk modal logic
Review of Symbolic Logic. 2021. Vol. 14. No. 1. P. 22-50.
Yury Savateev, Daniyar Shamkanov
We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic Grz proof-theoretically.
Priority areas:
mathematics
Language:
English
Shamkanov D. S., / Cornell University. Series arXiv "math". 2023.
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since ...
Added: November 14, 2023
М. : МАКС Пресс, 2013
В 2013 году Московский университет проводит очередной, крупнейший в Евразии Международный молодежный научный форум, центральным мероприятием которого является юбилейная, XX молодежная научная конференция студентов, аспирантов и молодых ученых.
Сопредседателями организационного комитета Форума являются ректор Московского университета, вице-президент РАН, академик РАН В.А.Садовничий и Министр образования и науки Российской Федерации Д.В. Ливанов. Проведению Форума традиционно оказывают поддержку Исполком ...
Added: April 16, 2015
Пенза : ПГУ, 2015
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и ...
Added: May 31, 2015
Gabbay D., Shapirovsky I., Shehtman V. B., Journal of Applied Logic 2014 Vol. 12 No. 4 P. 570-583
One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. ...
Added: March 24, 2015
Akaev A., Sadovnichii V. A., Korotayev A. et al., М. : Институт социально-политических исследований РАН, 2012
В данной книге авторы предлагают новую методологию долгосрочного социально-экономического моделирования и прогнозирования, основанную на кондратьевских больших циклах экономической конъюнктуры. Использование методологии позволяет обнаружить точки кризисов, рецессий и бифуркаций и тем самым повышает точность и надежность прогноза. Методология применяется для системного анализа мировой динамики и построения сценариев развития России. ...
Added: October 22, 2014
Vasyukov V. L., Философия, методология и история науки 2016 Т. 2 № 2 С. 66-76
Первая нерешенная до сих пор проблема теоретической физики, проблема квантовой гравитации, предполагает построение единой теории, объединяющей общую теорию относительности и квантовую теорию. Все до сих пор предпринятые попытки ее построения не увенчались успехом. Но похоже, что один специфический ответ на этот вопрос существует, хотя в силу своей природы он не находился в центре внимания исследователей. ...
Added: December 3, 2016
Litchfield Park : Emergent Publications, 2013
We see globalization as the growth of the sizes of social systems and the increase in the complexity of intersocietal links. Thus, in certain respects, globalization may be regarded as a process connecting the past, the present, and the future—as a sort of bridge between the past and the future. The title and the composition ...
Added: April 17, 2013
М. : Либроком, 2010
Альманах принадлежит к ставшей уже популярной серии сборников, освещающих различные аспекты использования математических методов в исторических, обществоведческих и экономических исследованиях. Этот выпуск посвящен исследованию макроисторической динамики общества и государства на протяжении огромного периода истории, охватывающего время зарождения и существования Мир-Системы. Альманах представляет собой комплексное исследование ряда важнейших макроисторических процессов, с использованием разнообразных аналитических и формально-математических ...
Added: October 15, 2014
Berlin, Heidelberg : Springer, 2012
This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012. The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and biology; data mining for energy ...
Added: December 3, 2012
Vasyukov V. L., Logical Investigations 2019 Vol. 25 No. 1 P. 70-87
The paper is the contribution to quantum toposophy focusing on the abstract orthomodular structures (following Dunn-Moss-Wang terminology). Early quantum topo-sophical approach to "abstract quantum logic" was proposed based on the topos of functors [E, Sets] where E is a so-called orthomodular preorder category — a modification of categorically rewritten orthomodular lattice (taking into account that ...
Added: July 20, 2019
Каз. : СМУиС, 2013
Вторая Всероссийская молодежная научная Интернет-конференция «Грани науки» проводится Казанским (Приволжским) федеральным университетом, Советом молодых ученых и специалистов города Казани (http://kznscience.ru) и Комитетом по делам детей и молодежи Исполкома Казани. ...
Added: July 7, 2016
Istanbul : University of Istanbul, 2015
In the same way that universal algebra is a general theory of algebraic structures, universal logic is a general theory of logical structures. During the 20th century, numerous logics have been created: intuitionistic logic, deontic logic, many-valued logic, relevant logic, linear logic, non monotonic logic, etc. Universal logic is not a new logic, it is ...
Added: September 19, 2015
Kham T., Социальные и гуманитарные науки: теория и практика 2019 № 1(3) С. 167-183
The article examines the problems of defining the term computer simulations of scientific experiments. The first part analyzes the original method for classifying variations of terms proposed by Duran as the most successful for demonstrating significant existing contradictions among philosophers regarding the place and role of computer simulations in the philosophy of science. In the ...
Added: December 11, 2019
Shamkanov D. S., Logic Journal of the IGPL 2015 Vol. 23 No. 5 P. 789-815
We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically. ...
Added: July 2, 2015
Korotayev A., NY : The Edwin Mellen Press, 2004
This book provides a cross-cultural analysis of traditional social organization of the Old World Oikumene civilizations, which suggest that the world religions were its major determinant. The role of Christianity and Islam as determinants of social evolution is analyzed in more detail. Formal analysis performed in this book shows that though such factors as political ...
Added: March 10, 2013
Sadovnichii V. A., Akaev A., Korotayev A. et al., М. : Издательский Дом "Наука", 2014
В коллективной монографии представлены результаты моделирования развития стран БРИКС, полученные к настоящему времени в рамках исследований по проекту «Математическое моделирование глобальной и региональной динамики в условиях модернизации системы науки и образования» Программы фундаментальных исследований Президиума РАН «Экономика и социология науки и образования». ...
Added: October 23, 2014
Shamkanov D. S., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344-1360
We present a new justification logic corresponding to the Gödel-Löb provability logic GL and prove the realization theorem connecting these two systems in such a way that all the realizations provided in the theorem are normal. ...
Added: November 25, 2016
Korotayev A., Вестник Института экономики Российской академии наук 2015 № 1 С. 149-162
The 19th century saw an explosive growth of the gap between the “First” and the “Third” World as regards per capita incomes and levels of life that has become to be known as the “Great Divergence”. In the 20th century the Great Divergence continued up to the early 1970s, and then – in the late ...
Added: December 3, 2015
Grinin L. E., Tsirel S. V., Korotayev A., Technological Forecasting and Social Change 2015 Vol. 95 P. 294-308
The role of China in the world economy is constantly growing. In particular we observe that it plays more and more important role in the support of theworld economic growth (as well as high prices of certain very important commodities). In the meantime the perspectives of the Chinese economy (as well as possible fates of ...
Added: October 25, 2014
Shamkanov D. S., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776-796
We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics. ...
Added: December 20, 2019
М. : Энциклопедия, Инфра-М, 2017
The New Russian Encyclopedia is a fundamental reference publication in 18 volumes that characterizes nature, population, economy, history, science, art, technology and other important aspects. Contains about 60,000 articles, about 30,000 biographies, about 15,000 color illustrations, maps, charts, diagrams, tables. Leaves since 2003. ...
Added: October 31, 2018
Vasyukov V. L., Logica Universalis 2007 Vol. 1 No. 2 P. 277-294
How, why and what for we should combine logics is perfectly well
explained in a number of works concerning this issue. But the interesting
question seems to be the nature and the structure of the general universe
of possible combinations of logical systems. Adopting the point of view of
universal logic in the paper the categorical constructions are introduced ...
Added: November 27, 2014
St. Petersburg : The Euler International Mathematical Institute, 2014
The conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The conference PhML-2014 is endorsed by the American National Committee of the Division of Logic, Methodology and Philosophy ...
Added: June 23, 2014
М. : Национальный открытый университет «ИНТУИТ», 2012
Доклады Всероссийской научно-практической конференции «Анализ Изображений, Сетей и Текстов» (АИСТ, Екатеринбург, 2012). Рассматриваются проблемы в области компьютерного зрения, анализа изображений и видео, анализа форумов, блогов и социальных сетей, анализ сетевых (графовых) и потоковых данных, компьютерной обработки текстов, гео-информационных систем, математических моделией и методов анализа данных, машинного обучения и разработки данных (Data Mining), рекомендательных систем и ...
Added: December 3, 2012