×
编辑配置文件（在新选项卡中打开）

Daniyar S.Shamkanov。

合著者距离
作者ID： 沙姆卡诺夫·达尼亚尔-s最近由“Shamkanov，Daniyar S.”撰写的zbMATH文章
发布日期： 达尼亚尔·沙姆卡诺夫;Daniyar S.Shamkanov。;沙姆卡诺夫，D.S。
外部链接： MGP公司·ORCID公司
已编制索引的文档： 15出版物自2011年起，包括3个附加arXiv预打印
合著者： 2合著者具有4联合出版物
95位合作作者

合著者

11 单作者的
三 尤里·萨瓦泰耶夫
1 列夫·贝克莱米舍夫。

系列

2 符号逻辑述评
1 数学笔记
1 斯博尼克：数学
1 IGPL逻辑杂志
1 Steklov数学研究所学报

领域

13 数学逻辑和基础（03-XX）
1 阶、格、有序代数结构（06-XX）
1 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

10出版物有被引用26中的次21文件 引用人▼ 年份▼
Gödel-Löb可证明逻辑的循环证明。 Zbl 1329.03092号
沙姆卡诺夫，D.S。
11
2014
可证明逻辑GL和GLP的插值属性。 Zbl 1294.03039号
Daniyar S.Shamkanov。
6
2011
Grzegorczyk模态逻辑的非完备性证明。 Zbl 1496.03086号
尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫
2
2021
通过非充分证据对模态Grzegorczyk逻辑进行简化。 Zbl 1496.03085号
尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫
1
2017
Gödel-Löb可证明逻辑的全局邻域完备性。 Zbl 1496.03249号
达尼亚尔·沙姆卡诺夫
1
2017
Gödel-Löb可证明逻辑的一个实现定理。 Zbl 1522.03043号
Daniyar S.Shamkanov。
1
2016
通过非充分证明对弱模态Grzegorczyk逻辑进行截消。 Zbl 1530.03086号
尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫
1
2019
哥德尔-洛布可证明逻辑中的非零阶导数。 兹比尔1486.03099
达尼亚尔·沙姆卡诺夫
1
2020
可证明逻辑的嵌套序列\（\mathsf{GLP}\）。 Zbl 1405.03098号
达尼亚尔·沙姆卡诺夫
1
2015
基于非经典逻辑的哥德尔第二不完全性定理的一些抽象版本。 Zbl 1418.03175号
列夫·贝克莱米舍夫;达尼亚尔·沙姆卡诺夫
1
2016
Grzegorczyk模态逻辑的非完备性证明。 Zbl 1496.03086号
尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫
2
2021
哥德尔-洛布可证明逻辑中的非零阶导数。 Zbl 1486.03099号
达尼亚尔·沙姆卡诺夫
1
2020
弱模态Grzegorczyk逻辑的割消去——通过非充分成立的证明。 Zbl 1530.03086号
尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫
1
2019
通过非充分证据对模态Grzegorczyk逻辑进行简化。 Zbl 1496.03085号
尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫
1
2017
Gödel-Löb可证明逻辑的全局邻域完备性。 Zbl 1496.03249号
达尼亚尔·沙姆卡诺夫
1
2017
Gödel-Löb可证明逻辑的一个实现定理。 Zbl 1522.03043号
Daniyar S.Shamkanov。
1
2016
基于非经典逻辑的哥德尔第二不完全性定理的一些抽象版本。 Zbl 1418.03175号
列夫·贝克莱米舍夫;达尼亚尔·沙姆卡诺夫
1
2016
可证明逻辑的嵌套序列\（\mathsf{GLP}\）。 兹比尔1405.03098
达尼亚尔·沙姆卡诺夫
1
2015
Gödel-Löb可证明逻辑的循环证明。 Zbl 1329.03092号
沙姆卡诺夫，D.S。
11
2014
可证明逻辑GL和GLP的插值属性。 Zbl 1294.03039号
Daniyar S.Shamkanov。
6
2011
所有引用出版物 前5名被引用出版物
全部的 前5名

被28位作者引用

4 Daniyar S.Shamkanov。
三 阿夫沙里，巴哈雷
2 格雷厄姆·埃米尔·利
1 阿米罗申·阿克巴尔·塔巴塔拜
1 阿尔伯特·阿塞里亚斯
1 迈克尔·鲍尔
1 列夫·贝克莱米舍夫。
1 程勇
1 大卫·费尔南德斯·杜克
1 拉杰夫·普拉巴卡尔·戈尔
1 罗莎莉，伊姆霍夫
1 高雄井上
1 岩田，Sohei
1 拉赫利·贾拉利
1 Joost J.乔斯特恩。
1 卡夫沃斯，G.A。
1 Kurahashi、Taishi
1 罗马库兹涅茨
1 库兹涅佐夫（Kuznetsov，Stepan L'vovich）
1 马西莫·劳里亚
1 吉列尔莫·门德斯·图拉塔
1 雅罗斯拉夫·伊戈列维奇·彼得鲁金
1 雷文莎·拉马纳亚克
1 Rooduijn，简
1 尤里·萨瓦泰耶夫
1 伊恩·希利托
1 托马斯·施图德
1 多米尼克·韦尔
全部的 前5名

12篇连载文章中引用

2 符号逻辑述评
1 数学笔记
1 Studia Logica公司
1 逻辑科公报
1 纯逻辑与应用逻辑年鉴
1 数学逻辑档案
1 应用非经典逻辑杂志
1 符号逻辑公报
1 斯博尼克：数学
1 ACM计算逻辑事务
1 Steklov数学研究所学报
1 计算机科学中的逻辑方法

在3个字段中引用

18 数学逻辑和基础（03-XX）
5 计算机科学（68至XX）
1 结合环与代数（16-XX）

按年份列出的引文