Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Ardeshir, Mohammad"'
Autor:
Ardeshir, Mohammad, Ramezanian, Rasoul
The continuum has been one of the most controversial topics in mathematics since the time of the Greeks. Some mathematicians, such as Euclid and Cantor, held the position that a line is composed of points, while others, like Aristotle, Weyl and Brouw
Externí odkaz:
http://arxiv.org/abs/2308.10827
We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of the provably total recursive functions of BA is a proper sub-class of th
Externí odkaz:
http://arxiv.org/abs/2003.01603
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ardeshir, Mohammad, Mojtahedi, Mojtaba
For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the box translation of $A$. We characterize the $\Sigma_1$-provability logic of HA* as a modal theory ${\sf iH}_\sigma^*$.
Externí odkaz:
http://arxiv.org/abs/1805.06763
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In this paper we introduce a modal theory $H_{\sigma}$, which is sound and complete for arithmetical $\Sigma$_1 substitutions in ${\bf HA}$, in other words, we will show that $H_{\sigma}$ is the $\Sigma$_1-provability logic of ${\bf HA}$. Moreover we
Externí odkaz:
http://arxiv.org/abs/1409.5699
Publikováno v:
Geophys. Res. Lett. (2015), 42, 362--369
We demonstrate that the global fields of temperature, humidity and geopotential heights admit a nearly sparse representation in the wavelet domain, offering a viable path forward to explore new paradigms of sparsity-promoting data assimilation and co
Externí odkaz:
http://arxiv.org/abs/1409.5068
This paper introduces a new Bayesian approach to the inverse problem of passive microwave rainfall retrieval. The proposed methodology relies on a regularization technique and makes use of two joint dictionaries of coincidental rainfall profiles and
Externí odkaz:
http://arxiv.org/abs/1405.0454
Autor:
ARDESHIR, MOHAMMAD, MOJTAHEDI, MOJTABA
Publikováno v:
The Journal of Symbolic Logic, 2019 Sep 01. 84(3), 1118-1135.
Externí odkaz:
https://www.jstor.org/stable/26788491
Autor:
Alizadeh, Majid1 (AUTHOR), Ardeshir, Mohammad2 (AUTHOR), Balbiani, Philippe3 (AUTHOR) balbiani@irit.fr, Mojtahedi, Mojtaba1 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Jun2023, Vol. 31 Issue 3, p422-440. 19p.