Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Mohammad Ardeshir"'
Autor:
mohammad ardeshir
Publikováno v:
حکمت و فلسفه, Vol 1, Iss 1, Pp 6-15 (2005)
There are at least three elemental parts in Brouuer's philosophy ef mathematics that mqy have their origin in Kant. These three parts are (1) the intuition ef time, (2) the synthetic a priority of mathematical kn01vledge, and (3) the inter-suf?jectiv
Externí odkaz:
https://doaj.org/article/ba906e92119242d29b3d3658ec1c4f67
Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action Kripke models introduced by Baltag et al. Also, van Ditmarsch interpr
Externí odkaz:
http://arxiv.org/abs/1304.6276
Publikováno v:
Logic Journal of the IGPL. 31:422-440
We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f023c64514e679cedbfe371faa3088ca
https://doi.org/10.1093/jigpal/jzab036
https://doi.org/10.1093/jigpal/jzab036
Autor:
Mohammad Ardeshir, Wim Ruitenburg
Publikováno v:
Logic Journal of the IGPL.
Kolmogorov established the principle of the double negation translation by which to embed Classical Predicate Logic ${\operatorname {CQC}}$ into Intuitionistic Predicate Logic ${\operatorname {IQC}}$. We show that the obvious generalizations to the B
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33fd049e9320ee20500cd745144b0319
https://doi.org/10.1093/jigpal/jzac067
https://doi.org/10.1093/jigpal/jzac067
Autor:
Mohammad Ardeshir, Fatemeh Nabavi
Publikováno v:
New Developments in Legal Reasoning and Logic ISBN: 9783030700836
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d2fed90e49022927212824feca90195
https://doi.org/10.1007/978-3-030-70084-3_3
https://doi.org/10.1007/978-3-030-70084-3_3
Publikováno v:
The Journal of Symbolic Logic. 84:1118-1135
For the Heyting Arithmetic HA, $HA^{\text{*}} $ is defined [14, 15] as the theory $\left\{ {A|HA \vdash A^\square } \right\}$, where $A^\square $ is called the box translation of A (Definition 2.4). We characterize the ${\text{\Sigma }}_1 $-provabili
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4eab6a2db9e5e74da960464062743d1c
https://doi.org/10.1017/jsl.2019.44
https://doi.org/10.1017/jsl.2019.44
Autor:
Majid Alizadeh, Mohammad Ardeshir
Publikováno v:
Logic Journal of the IGPL. 27:371-383
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26126a5f354e62c144e0d5c379eacd7d
https://doi.org/10.1093/jigpal/jzy052
https://doi.org/10.1093/jigpal/jzy052
Publikováno v:
Annals of Pure and Applied Logic. 169:997-1043
In this paper we introduce a modal theory iH σ which is sound and complete for arithmetical Σ 1 -interpretations in HA , in other words, we will show that iH σ is the Σ 1 -provability logic of HA . Moreover we will show that iH σ is decidable. A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ed136122453936f8875d1bf5f5f6e3d
https://doi.org/10.1016/j.apal.2018.05.001
https://doi.org/10.1016/j.apal.2018.05.001
Autor:
Mohammad Ardeshir, Seyed N. Mousavian
Publikováno v:
History and Philosophy of Logic. 39:201-231
Avicenna introduces the primary propositions (or the primaries, for short) as the most fundamental principles of knowledge. (In this paper, we are not primarily concerned with the primary/first int...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::283738e94c35c5c9012bf236f91f6dff
https://doi.org/10.1080/01445340.2017.1408739
https://doi.org/10.1080/01445340.2017.1408739
Autor:
Mohammad Ardeshir, Zahra Ghafouri
Publikováno v:
Logic Journal of the IGPL. 26:244-254
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::435bc54b9c5b870c9c28ddd76a756ae0
https://doi.org/10.1093/jigpal/jzx060
https://doi.org/10.1093/jigpal/jzx060