编辑配置文件(在新选项卡中打开) 莫蒂扎·莫尼里 合著者距离 作者ID: 莫尼里·莫特萨 发布日期: 莫蒂扎·莫尼里;莫尼里,M。 主页: http://math.ipm.ac.ir/MortezaMoniri/ 外部链接: MGP公司 已编制索引的文档: 30份出版物自2002年起 合著者: 13合著者具有17联合出版物 124位合作作者 全部的 前5名合著者 13 单一作者 4 扎雷,莫斯塔法 2 玛丽亚姆·阿比里 2 赛义德·穆罕默德·巴赫里 2 拉贾布·阿里·博尔祖艾 2 索马耶·乔波赫鲁 2 Sajjadi,S.Hosein 1 比扬·艾哈迈迪·卡卡瓦迪 1 阿勒法兹·阿拉姆 1 赛义德·马苏米 1 莫伊塔巴·莫尼里 1 Elahe Shirinkalam 1 Shirmohammadzadeh Maleki,法特梅 1 亚格迈,阿布托拉布 全部的 前5名系列 6 数学逻辑季刊(MLQ) 5 数学逻辑档案 4 逻辑与计算杂志 三 IGPL逻辑杂志 2 逻辑科公报 2 逻辑与逻辑哲学 1 符号逻辑杂志 1 计算机基础理论 1 国际科学哲学研究 1 智能与模糊系统杂志 1 多值逻辑与软计算杂志 1 伊朗模糊系统杂志 1 伊朗数学科学与信息学杂志 全部的 前5名领域 30 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 量子理论(81-XX) 1 相对论和引力理论(83至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用24中的次16文件 引用人▼ 年份▼ 基本逻辑和直觉逻辑的邻域语义。 Zbl 1375.03014号 莫泰扎·莫尼里;Shirmohammadzadeh Maleki,法特梅 4 2015 HA的一些弱片段和某些闭包属性。 Zbl 1009.03028号 莫蒂扎·莫尼里;莫伊塔巴·莫尼里 三 2002 比较基于NP-PIND和coNP-PIND的构造性算术理论。 Zbl 1049.03041号 莫蒂扎·莫尼里 2 2003 关于直觉有界算法的层次结构。 Zbl 1147.03032号 莫蒂扎·莫尼里 2 2008 Kripke模型的保持定理。 Zbl 1160.03018号 莫蒂扎·莫尼里;穆斯塔法扎雷 2 2009 关于任意固定框架上Kripke模型的一些结果。 Zbl 1042.03010号 赛义德·穆罕默德巴格里;莫蒂扎·莫尼里 2 2003 BL-代数上的中性演绎滤波器。 Zbl 1305.03059号 博尔祖艾,R.A。;H·法拉哈尼。;莫尼里,M。 2 2014 有界公式的保持定理。 Zbl 1112.03021号 莫蒂扎·莫尼里 1 2007 直觉算法克里普克模型中的强制和满足。 Zbl 1494.03028号 玛丽亚姆·阿比里;莫蒂扎·莫尼里;穆斯塔法扎雷 1 2019 Łukasiewicz模型理论中的保存定理。 Zbl 1330.03060号 塞耶德·穆罕默德·巴赫里;莫蒂扎·莫尼里 1 2013 直觉有界算法中的多项式归纳和长度最小化。 Zbl 1059.03066号 莫泰扎·莫尼里 1 2005 在直觉谓词逻辑的克里普克模型中,从强制到满足。 Zbl 1492.03003号 玛丽亚姆·阿比里;莫蒂扎·莫尼里;穆斯塔法扎雷 1 2018 关于可行构造算法的两个问题。 Zbl 1022.03043号 莫蒂扎·莫尼里 1 2003 \(mathcal H)-理论,HA和PA正常片段。 Zbl 1022.03042号 莫蒂扎·莫尼里 1 2002 直觉算法克里普克模型中的强制和满足。 Zbl 1494.03028号 玛丽亚姆·阿比里;莫蒂扎·莫尼里;穆斯塔法扎雷 1 2019 在直觉谓词逻辑的克里普克模型中,从强制到满足。 兹比尔1492.03003 玛丽亚姆·阿比里;莫蒂扎·莫尼里;穆斯塔法扎雷 1 2018 基本逻辑和直觉逻辑的邻域语义。 兹比尔1375.03014 莫蒂扎·莫尼里;Shirmohammadzadeh Maleki,法特梅 4 2015 BL-代数上的中性演绎滤波器。 Zbl 1305.03059号 博尔祖艾,R.A。;H·法拉哈尼。;莫尼里,M。 2 2014 Łukasiewicz模型理论中的保存定理。 Zbl 1330.03060号 塞耶德·穆罕默德·巴赫里;莫蒂扎·莫尼里 1 2013 Kripke模型的保持定理。 Zbl 1160.03018号 莫蒂扎·莫尼里;穆斯塔法扎雷 2 2009 关于直觉有界算术的层次性。 Zbl 1147.03032号 莫蒂扎·莫尼里 2 2008 有界公式的保持定理。 Zbl 1112.03021号 莫蒂扎·莫尼里 1 2007 直觉有界算法中的多项式归纳和长度最小化。 Zbl 1059.03066号 莫蒂扎·莫尼里 1 2005 比较基于NP-PIND和coNP-PIND的构造性算术理论。 Zbl 1049.03041号 莫蒂扎·莫尼里 2 2003 关于任意固定框架上Kripke模型的一些结果。 Zbl 1042.03010号 赛义德·穆罕默德·巴赫里;莫蒂扎·莫尼里 2 2003 关于可行构造算法的两个问题。 Zbl 1022.03043号 莫泰扎·莫尼里 1 2003 HA的一些弱片段和某些闭包属性。 Zbl 1009.03028号 莫蒂扎·莫尼里;莫伊塔巴·莫尼里 三 2002 \(数学H)-理论,HA和PA正态性的片段。 Zbl 1022.03042号 莫蒂扎·莫尼里 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名27位作者引用 5 莫蒂扎·莫尼里 1 阿勒法兹·阿拉姆 1 哈利斯·阿尤恩 1 吉列尔莫·巴迪亚 1 Joan Bagaria 1 拉贾布·阿里·博尔祖艾 1 Samuel R.巴斯。 1 卡塞莱斯·科斯塔,维森特 1 维尔丹·切特金 1 保拉·达奎诺 1 吉姆·德·格罗特 1 皮拉尔·德尔隆德 1 罗莎莉,伊姆霍夫 1 埃尔凡·哈尼基 1 朱莉娅·奈特。 1 乌尔里希·威廉·科伦巴赫 1 莫娜·阿利·科洛加尼 1 凯伦·兰格 1 萨拉·内格里 1 卡莱斯·诺格拉 1 德克·帕丁森 1 杜西奥·皮亚尼贾尼 1 迈克尔·拉特扬 1 安德烈·索比 1 泰西,马蒂奥 1 托马斯·维查克 1 穆斯塔法扎雷 全部的 前5名10篇连载文章中引用 5 数学逻辑档案 2 逻辑科公报 2 智能与模糊系统杂志 1 数学进展 1 圣母院形式逻辑杂志 1 纯粹逻辑与应用逻辑年鉴 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 软计算 1 Oberwolfach报告 全部的 前5名在6个字段中引用 15 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 场论和多项式(12-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 1 计算机科学(68至XX) 按年份列出的引文