?
Franco Montagna’s Work on Provability Logic and Many-valued Logic
Studia Logica. 2016. Vol. 104. No. 1. P. 1-46.
L. Beklemishev, Flaminio T.
Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
Language:
English
Ilya Makarov, Olga Gerasimova, Logica Universalis 2017
We describe a method of finding the canonical types of formulas based on three-valued projection logic functions. The method focuses on a separation of all tuples of values for variables into disjoint sets and write indicators of these sets using only functions from the closed class under consideration. We obtain the required canonical type combining ...
Added: September 25, 2015
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions
Makarov I., Logica Universalis 2015 Vol. 9 No. 1 P. 1-26
The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set \{0, 1, 2\} and taking values in the set \{0,1\} with the property that the restrictions of its functions to the set \{0, 1\} constitutes a closed class of ...
Added: February 28, 2015
ЦНК МНИФ «Общественная наука», 2017
The collection of scientific papers collected materials from various fields of scientific knowledge. This publication lists all the materials that were sent to the VI International Scientific and Practical Conference. Scientific Dialogue: A Young Scientist The collection is intended for researchers, teachers, post-graduate students and students. All materials published in the collection are published in ...
Added: December 11, 2017
Berger G., Beklemishev L. D., Tompits H., / Cornell University. Series math "arxiv.org". 2016. No. 1601.02857.
We consider a many-sorted variant of Japaridze's polymodal provability logic GLP. In this variant,
propositional variables are assigned sorts n< omega,
where variables of sort n are arithmetically interpreted as Pi_{n+1}-sentences of the arithmetical hierarchy. We prove that the many-sorted variant is arithmetically complete with respect to this interpretation. ...
Added: March 13, 2016
Пермь : Пермский государственный национальный исследовательский университет, 2014
В сборнике собраны статьи студентов и молодых ученых ПГНИУ, отражающие результаты научных исследований, выполняемых на базе университета. Статьи посвящены актуальным проблемам изучения естественных и гуманитарных наук.
Сборник издается по итогам конкурса научно-исследовательских работ студентов ПГНИУ (апрель – ноябрь 2014 г.), в котором принимали участие все факультеты университета. ...
Added: December 30, 2014
Пермь : Пермский национальный исследовательский политехнический университет, 2016
Опубликованы тезисы докладов Пятой Всероссийской научно- практической конференции «Решение», которая посвящена широкому кругу проблем, возникающих в учебно-научной и исследовательской работе молодых ученых. Тематика конференции охватывает направления технических, физико- математических, общественных наук, экологии, биологии, географии, литера- туры и языковедения.
Материалы конференции могут быть полезны учителям и преподавателям вузов. ...
Added: October 7, 2016
Shamkanov D. S., Mathematical notes 2014 Vol. 96 No. 4 P. 575-585
Sequent calculus for the provability logic GL is considered, in which provability is based on the notion of a circular proof. Unlike ordinary derivations, circular proofs are represented by graphs allowed to contain cycles, rather than by finite trees. Using this notion, we obtain a syntactic proof of the Lyndon interpolation property for GL. ...
Added: August 13, 2014
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
Каз. : СМУиС, 2013
Вторая Всероссийская молодежная научная Интернет-конференция «Грани науки» проводится Казанским (Приволжским) федеральным университетом, Советом молодых ученых и специалистов города Казани (http://kznscience.ru) и Комитетом по делам детей и молодежи Исполкома Казани. ...
Added: July 7, 2016
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
М. : МАКС Пресс, 2013
В 2013 году Московский университет проводит очередной, крупнейший в Евразии Международный молодежный научный форум, центральным мероприятием которого является юбилейная, XX молодежная научная конференция студентов, аспирантов и молодых ученых.
Сопредседателями организационного комитета Форума являются ректор Московского университета, вице-президент РАН, академик РАН В.А.Садовничий и Министр образования и науки Российской Федерации Д.В. Ливанов. Проведению Форума традиционно оказывают поддержку Исполком ...
Added: April 16, 2015
Н. Новгород : Красная ласточка, 2019
В книгу вошли статьи участников II Всероссийской научной конференции «Революция и эволюция: модели развития в науке, культуре, обществе», которая проходила 29 ноября – 1 декабря 2019 года в Нижегородском государственном университете имени Н.И.Лобачевского. На конференции рассматривались вопросы, связанные с философией, методологией и историей науки, философией образования, концептуальными и методологическими проблемами эпистемологии, а также новационным развитием ...
Added: November 29, 2019
Lev Beklemishev, Shamkanov D., / Cornell University. Series math "arxiv.org". 2016. No. 1602.05728.
We study abstract versions of G\"odel's second incompleteness theorem and formulate generalizations of L\"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of contraction rule in G\"odel's theorem and give a (toy) example of a system based on modal logic without contraction invalidating G\"odel's argument. ...
Added: March 13, 2016
Korotayev A., Zinkina J. V., Entelequia. Revista Interdisciplinar 2011 Vol. 13 P. 139-169
It is not surprising that Mubarak’s administration “overlooked” the social explosion. Indeed, statistical data righteously claimed that the country was developing very successfully. Economic growth rates were high (even in the crisis years). Poverty and inequality levels were among the lowest in the Third World. Global food prices were rising, but the government was taking ...
Added: March 9, 2013
Пенза : ПГУ, 2015
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и ...
Added: May 31, 2015
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
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
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
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
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
Akaev A., Sadovnichii V. A., Korotayev A. et al., М. : Институт социально-политических исследований РАН, 2012
В данной книге авторы предлагают новую методологию долгосрочного социально-экономического моделирования и прогнозирования, основанную на кондратьевских больших циклах экономической конъюнктуры. Использование методологии позволяет обнаружить точки кризисов, рецессий и бифуркаций и тем самым повышает точность и надежность прогноза. Методология применяется для системного анализа мировой динамики и построения сценариев развития России. ...
Added: October 22, 2014
Shamkanov D. S., Proceedings of the Steklov Institute of Mathematics 2011 Vol. 274 No. 1 P. 303-316
We study interpolation properties of provability logics. We prove the Lyndon interpolation for GL and the uniform interpolation for GLP. ...
Added: February 6, 2013
Berger G., Beklemishev L. D., Tompits H., Logic Journal of the IGPL 2018 Vol. 26 No. 5 P. 505-538
We consider a many-sorted variant of Japaridze’s polymodal provability logic (GLP). In this variant, which is denoted GLP∗, propositional variables are assigned sorts n≤ω, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...
Added: February 14, 2019