### ?

## Logical Perspectives 2021 Workshop

M.:
2021.

The *Logical Perspectives* Summer School and Workshop Series aims at giving advanced introductions into various branches of logic, and providing researchers — including early career scientists — with an opportunity to present their work.

In particular, LP 2021 Summer School (June 14–16) and Workshop (June 17–19) will focus on *computational proof theory*, broadly understood. The programme will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.

, in: Logical Perspectives 2021 Workshop. .: M.: [б.и.], 2021..

Presburger Arithmetic the true theory of natural numbers with addition. We show that the interpretations of Presburger Arithmetic in itself are definably isomorphic to the trivial one, confirming the conjecture of A. Visser. To prove that, we develop a characterization of linear orderings interpretable in (N, +). We show that all interpretable linear orderings can ...

Added: December 14, 2021

Russian Journal of Mathematical Physics 2018 Vol. 25 No. 4 P. 525-530

We show that the statistical approach to quantum mechanics allows to define a factor related to numeration theory in mathematical logic, and to apply this factor to the study of the nucleus of helium-5 and other light nuclei. In particular, the use of the hidden factor of numbering gives us, instead of the quantum picture ...

Added: December 9, 2018

St. Petersburg: The Euler International Mathematical Institute, 2014

Added: October 17, 2014

College Publications, 2016

“Let's be Logical” is a double invitation. Although logic often refers to a disposition of mind that we all share, this disposition might be confused once its theoretical sources are questioned. The present volume offers thirteen articles that address various aspects of the discipline of logic and its methods, notably formalism, the theory of opposition, ...

Added: June 14, 2016

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic / Cornell University. Series arXiv "math". 2018.

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. ...

Added: April 4, 2018

Linear logic with idempotent exponential modalities: a note / Cornell University. Series math "arxiv.org". 2014.

In this note we discuss a variant of linear logic with idempotent exponential modalities. We propose a sequent calculus system and discuss its semantics. We also give a concrete relational model for this calculus. ...

Added: December 23, 2015

Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256

The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called ‘Lambek’s restriction’, i.e. the antecedent of any provable sequent should be non-empty. In this paper, we discuss ways of extending the Lambek calculus with the linear logic exponential modality ...

Added: July 1, 2020

Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719-744

In their seminal paper:
Lincoln, P., Mitchell, J., Scedrov, A. and Shankar, N. (1992). Decision problems for propositional linear logic. Annals of Pure and Applied Logic 56 (1–3) 239–311,
LMSS have established an extremely surprising result that propositional linear logic is undecidable. Their proof is very complex and involves numerous nested inductions of different kinds.
Later an alternative ...

Added: September 1, 2016

L.: College Publications, 2016

During his scientific life Albert Visser has contributed to a great variety of disciplines in logic, ranging from provability logics, interpretability, and formal arithmetic to philosophy, linguistics and formal language semantics. This Liber Amicorum is in honour of his long and distinguished career, and nicely bears tribe to the diversity of Albert Visser's interests. Filed ...

Added: May 7, 2016

Улан-Удэ: Издательство Бурятского госуниверситета, 2017

The collection represents proceedings of the 5th school-seminar "Syntax and Semantics of Logic Systems" (Ulan-Ude, 08.08.2017 - 12.08.2017). The conference subject area includes: theory of models and universal algebra; theory of boolean and finite-valued functions; formal languages and logic calculus; mathematical logic in education. ...

Added: September 22, 2017

Journal of Lie Theory 2000 Vol. 10 No. 2 P. 345-357

Added: July 8, 2014

Bielsko-Biala: University of Bielsko-Biala Press, 2016

The main attributes of modern enterprises should be the flexibility and the ability of forecasting the future. Constant adaptation to the changing environment and the rapidity of undertaking certain actions which are conditioned by specific situations determine the rules for the future position of market competition. Effective and efficient adjustment of the company in line ...

Added: November 2, 2016

Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173-216

Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...

Added: December 4, 2017

Технологии техносферной безопасности 2016 № 66

Advanced approach to the assessment of a random time of arrival fire fighting calculation on the object of protection, the time of their employment and the free combustion. There is some quantitative assessments with the review of analytical methods and simulation ...

Added: August 27, 2016

Selecta Mathematica, New Series 2018 Vol. 24 No. 1 P. 21-62

We study plane partitions satisfying condition a_{n+1,m+1}=0 (this condition is called “pit”) and asymptotic conditions along three coordinate axes. We find the formulas for generating function of such plane partitions. Such plane partitions label the basis vectors in certain representations of quantum toroidal gl1 algebra, therefore our formulas can be interpreted as the characters of ...

Added: October 24, 2018

Computational Mathematics and Modeling 2016 Vol. 27 No. 2 P. 247-253

Added: December 22, 2016

Математический сборник 2015 Т. 206 № 9 С. 3-20

We formulate some term rewriting systems in which the number of computation steps is finite for each output, but this number cannot be bounded by a provably total computable function in Peano arithmetic PA. Thus, the termination of such systems is unprovable in PA. These systems are derived from an independent combinatorial result known as the Worm ...

Added: March 13, 2016

Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189

The article describes a method that allows to improve the content of disciplines of the mathematical cycle by dividing them into invariant (general) and variable parts. The invariants were identified for such disciplines as «Linear algebra», «Mathematical analysis», «Probability theory and mathematical statistics» delivered to Bachelors program students of economics at several universities. Based on ...

Added: January 28, 2020

Дискретная математика 1991 Т. 3 № 3 С. 35-45

Added: October 17, 2014

Научный вестник ИЭП им. Гайдара.ру (электронный журнал) 2015 № 3(85) С. 3-33

В статье представлены расчеты прогнозных значений различных экономических показателей Российской Федерации во II–III кварталах 2015 г., построенные на основе моделей временных рядов, структурных эконометрических уравнений и моделей, построенных с использованием результатов конъюнктурных опросов. ...

Added: June 18, 2015

Russian Meteorology and Hydrology 2014 No. 5 P. 283-291

The evaluations of the forecasts of surface air temperature and precipitation for the period July 2010 - June 2013 are presented. The forecasting of surface air temperature at 5 days and precipitation at 3 days are considered. Our complex statistical scheme uses the results of the best foreign global schemes, regional scheme COSMO-RU7. The joint ...

Added: December 7, 2013

Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18

Sequential state discrimination is a strategy for quantum state discrimination of a sender’s quantum
states when N receivers are separately located. In this report, we propose optical designs that can
perform sequential state discrimination of two coherent states. For this purpose, we consider not
only binary phase-shifting-key (BPSK) signals but also general coherent states, with arbitrary prior
probabilities. Since ...

Added: November 16, 2020

Bernoulli: a journal of mathematical statistics and probability 2013 Vol. 19 No. 4 P. 1268-1293

Motivated by a problem arising when analysing data from quarantine searches, we explore properties of distributions of sums of independent means of independent lattice-valued random variables. The aim is to determine the extent to which approximations to those sums require continuity corrections. We show that, in cases where there are only two different means, the ...

Added: September 29, 2014

Теоретическая и математическая физика 2019 Т. 201 № 1 С. 65-83

We study the process of a nucleon separating from an atomic nucleus from the mathematical standpoint
using experimental values of the binding energy for the nucleus of the given substance. A nucleon becomes
a boson at the instant of separating from a fermionic nucleus. We study the further transformations of
boson and fermion states of separation in a ...

Added: November 1, 2019

Land and Stock Bubbles, Crashes and Exit Strategies In Japan Circa 1990 and in 2013 / SSRN. Series Social Science Research Network "Social Science Research Network". 2013.

We study the land and stock markets in Japan circa 1990. While the Nikkei stock average in the late 1980s and its -48% crash in 1990 is generally recognized as a financial market bubble, a bigger bubble and crash was in the golf course membership index market. The crash in the Nikkei which started on ...

Added: March 9, 2014