编辑配置文件(在新选项卡中打开) 德米特里·斯科沃尔佐夫 合著者距离 作者ID: 斯科沃尔佐夫·德米特里 发布日期: 斯科沃尔佐夫,D.P。;德米特里·斯科沃尔佐夫;斯科沃尔佐夫,D。;迪米特里·斯科沃尔佐夫;斯科沃尔佐夫(Dmitriy P.Skvortsov)。 更多。。。较少的 外部链接: MGP公司·数学-网络。俄罗斯 已编制索引的文档: 49出版物自1977年以来,包括1本书 审查活动: 24条评论 合著者: 11位合著者具有16联合出版物 326位合作作者 全部的 前5名合著者 33 单作者的 9 维克托·康斯坦丁诺维奇·芬恩 6 O.M.安沙科夫。 5 瓦伦丁·B·谢特曼。 2 AlekseĭVyacheslav Chernov 2 埃琳娜·斯科沃尔佐娃(Elena Z.Skvortsova)。 2 尼古拉·韦雷沙金(Nikolay K.Vereshchagin)。 1 V.A.布鲁德诺。 1 加贝,多夫·M。 1 V.G.伊瓦什科。 1 拉里萨·勒沃夫娜·马克西莫娃 1 M.Sh.Tsalenko。 全部的 前5名系列 9 Studia Logica公司 5 塞米奥提卡i Informatika 4 自动文档和数学语言学 2 数学笔记 2 苏联数学。多克拉迪 2 纯逻辑与应用逻辑年鉴 2 逻辑与计算杂志 1 马特马提切斯基?扎梅特基 1 莫斯科大学数学通报 1 代数与逻辑 1 符号逻辑杂志 1 Nauchno-Tekhnicheskaya Informatsiya公司。Seriya 2号机组 1 数理逻辑报告 1 Selecta Mathematica Sovietica公司 1 苏联物理学。多克拉迪 1 维斯特尼克·莫斯科斯科戈大学。Seriya I.Matematika、Mekhanika 1 应用非经典逻辑杂志 1 逻辑与数学基础研究 1 翻译。系列2。美国数学学会 1 Logicheskie Issledovaniya逻辑 领域 43 数学逻辑和基础(03-XX) 9 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用106中的次76文件 引用人▼ 年份▼ 非经典逻辑中的量化。第一卷。 Zbl 1211.03002号 加贝,多夫·M。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 35 2009 梅德韦杰夫有限问题逻辑的有限公理化是不可能的。 Zbl 0439.03008号 马克西莫娃。;斯克沃尔佐夫,D.P。;谢赫特曼,V.B。 11 1979 非经典一阶谓词逻辑的语义。 Zbl 0788.03022号 瓦伦丁·谢赫特曼;德米特里·斯科沃尔佐夫 11 1990 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 Zbl 0794.03028号 斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 6 1993 非轴可化二阶直觉主义命题逻辑。 Zbl 0873.03007号 斯科沃尔佐夫,D。 三 1997 自动假设生成JSM方法的逻辑手段:规则系统及其演绎模拟。 Zbl 0653.68103号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。 三 1987 集合的原子半格上无限问题的逻辑和克里普克模型。 Zbl 0438.03028号 斯科沃尔佐夫,D.P。 三 1979 关于有限Kripke框架的谓词逻辑。 Zbl 0839.03011号 斯科沃尔佐夫,D。 三 1995 关于一些中间谓词逻辑的公理化。 Zbl 0684.03007号 斯科沃尔佐夫,D.P。 2 1988 一些克里普克框架的逻辑与梅德韦杰夫的信息类型概念有关。 Zbl 0615.03008号 谢赫特曼,V.B。;斯科沃尔佐夫,D.P。 2 1986 关于线性Kripke框架的谓词逻辑及其一些扩展。 Zbl 1092.03013号 德米特里·斯科沃尔佐夫 2 2005 关于几类基础良好和对偶基础良好的Kripke框架的超直觉谓词逻辑的非公理化性。 Zbl 1118.03018号 德米特里·斯科沃尔佐夫 2 2006 一些具有弱化常域原理的超直觉谓词逻辑的Kripke-sheaf完备性。 兹比尔1258.03031 德米特里·斯克沃尔佐夫 2 2012 JSM型专家系统的逻辑方法。 Zbl 0641.68164号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。 2 1986 关于一些有限Kripke框架的中间谓词逻辑。一: 水平均匀的树。 Zbl 1073.03013号 德米特里·斯科沃尔佐夫 2 2004 关于与似是而非推理形式化相关的多值逻辑的公理化。 Zbl 0706.03021号 O.M.安沙科夫。;芬恩,V.K。;斯科沃尔佐夫,D.P。 2 1989 有限Kripke框架的超直觉谓词逻辑是不可递归公理化的。 Zbl 1086.03022号 德米特里·斯科沃尔佐夫 2 2005 用于自动假设生成的JSM方法的语义和句法问题。 Zbl 0581.68069号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。 1 1984 关于多种谓词逻辑语言扩展的一点注记。 Zbl 0483.03007号 斯科沃尔佐夫,D.P。;芬恩,V.K。 1 1981 关于在有限序列上用量词构造逻辑语言的一些方法。 Zbl 0512.03027号 斯科沃尔佐夫,D.P。 1 1983 信息不完整的数据库。 Zbl 0602.68101号 V.A.布鲁德诺。;斯科沃尔佐夫,D.P。;芬恩,V.K。;Tsalenko先生。 1 1985 关于命题Kripke框架的一个注释对于直觉逻辑来说是合理的。 兹比尔1254.03017 德米特里·斯科沃尔佐夫 1 2010 关于普鲁克纳尔定理。 Zbl 0973.03031号 德米特里·斯科沃尔佐夫 1 1999 关于中间谓词逻辑的有限交集。 Zbl 0882.03022号 迪米特里·斯科沃尔佐夫 1 1996 自动假设生成JSM方法的逻辑方法:基本概念和推理规则系统。 Zbl 0641.68165号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。;V.G.伊瓦什科。 1 1987 关于有限中间命题逻辑的有限公理化的注记。 Zbl 0995.03022号 斯科沃尔佐夫,D。 1 1999 命题公式的可实现性变体和排除中间弱律的逻辑。 Zbl 1020.03022号 Alexey V.切尔诺夫。;斯科沃尔佐夫(Dmitriy P.Skvortsov)。;埃琳娜·斯科沃尔佐娃(Elena Z.Skvortsova)。;尼古拉·K·维雷什查金(Nikolai K.Vereshchagin)。 1 2002 关于一些Kripke完备和Kripke-不完备中间谓词逻辑。 Zbl 0969.03043号 德米特里·斯科沃尔佐夫 1 1998 命题公式的可实现性变体和弱排除中间逻辑。 Zbl 1079.03016号 新罕布什哈金。;斯科沃尔佐夫,D.P。;斯科沃尔佐娃,E.Z。;A.V.切尔诺夫。 1 2003 并非每个“表格”谓词逻辑都是有限公理化的。 Zbl 0920.03038号 德米特里·斯科沃尔佐夫 1 1997 一些具有弱常域原理的超直觉谓词逻辑的Kripke层完备性。 兹比尔1258.03031 德米特里·斯克沃尔佐夫 2 2012 关于命题Kripke框架的一个注释对于直觉逻辑来说是合理的。 Zbl 1254.03017号 德米特里·斯科沃尔佐夫 1 2010 非经典逻辑中的量化。第一卷。 Zbl 1211.03002号 加贝,多夫·M。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 35 2009 关于几类基础良好和对偶基础良好的Kripke框架的超直觉谓词逻辑的非公理化性。 Zbl 1118.03018号 德米特里·斯科沃尔佐夫 2 2006 关于线性Kripke框架的谓词逻辑及其一些扩展。 Zbl 1092.03013号 德米特里·斯科沃尔佐夫 2 2005 有限Kripke框架的超直觉谓词逻辑是不可递归公理化的。 Zbl 1086.03022号 德米特里·斯科沃尔佐夫 2 2005 关于一些有限Kripke框架的中间谓词逻辑。一: 水平均匀的树。 Zbl 1073.03013号 德米特里·斯科沃尔佐夫 2 2004 命题公式的可实现性变体和弱排除中间逻辑。 Zbl 1079.03016号 新罕布什哈金。;斯科沃尔佐夫,D.P。;斯科沃尔佐娃,E.Z。;A.V.切尔诺夫。 1 2003 命题公式的可实现性变体和排除中间弱律的逻辑。 Zbl 1020.03022号 Alexey V.切尔诺夫。;斯科沃尔佐夫(Dmitriy P.Skvortsov)。;埃琳娜·斯科沃尔佐娃(Elena Z.Skvortsova)。;尼古拉·K·维雷什查金(Nikolai K.Vereshchagin)。 1 2002 关于普鲁克纳尔定理。 Zbl 0973.03031号 德米特里·斯科沃尔佐夫 1 1999 关于有限中间命题逻辑的有限公理化的注记。 兹比尔0995.03022 Skvortsov博士。 1 1999 关于一些Kripke完全和Kripke不完全中间谓词逻辑。 Zbl 0969.03043号 德米特里·斯科沃尔佐夫 1 1998 非轴可化二阶直觉主义命题逻辑。 Zbl 0873.03007号 斯科沃尔佐夫,D。 三 1997 并非每个“表格”谓词逻辑都是有限公理化的。 Zbl 0920.03038号 德米特里·斯科沃尔佐夫 1 1997 关于中间谓词逻辑的有限交集。 Zbl 0882.03022号 迪米特里·斯科沃尔佐夫 1 1996 关于有限Kripke框架的谓词逻辑。 Zbl 0839.03011号 斯科沃尔佐夫,D。 三 1995 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 Zbl 0794.03028号 斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 6 1993 非经典一阶谓词逻辑的语义。 Zbl 0788.03022号 瓦伦丁·谢赫特曼;德米特里·斯科沃尔佐夫 11 1990 关于与似是而非推理形式化相关的多值逻辑的公理化。 Zbl 0706.03021号 O.M.安沙科夫。;芬恩,V.K。;斯科沃尔佐夫,D.P。 2 1989 关于一些中间谓词逻辑的公理化。 Zbl 0684.03007号 斯科沃尔佐夫,D.P。 2 1988 自动假设生成JSM方法的逻辑手段:规则系统及其演绎模拟。 Zbl 0653.68103号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。 三 1987 自动假设生成的JSM方法的逻辑手段:基本概念和推理规则系统。 兹伯利0641.68165 安沙科夫,O.M。;斯科沃尔佐夫,D.P。;芬恩,V.K。;V.G.伊瓦什科。 1 1987 一些克里普克框架的逻辑与梅德韦杰夫的信息类型概念有关。 Zbl 0615.03008号 谢赫特曼,V.B。;斯科沃尔佐夫,D.P。 2 1986 JSM型专家系统的逻辑方法。 Zbl 0641.68164号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。 2 1986 信息不完整的数据库。 Zbl 0602.68101号 V.A.布鲁德诺。;斯科沃尔佐夫,D.P。;芬恩,V.K。;M.Sh.Tsalenko。 1 1985 用于自动假设生成的JSM方法的语义和句法问题。 Zbl 0581.68069号 O.M.安沙科夫。;斯科沃尔佐夫,D.P。;芬恩,V.K。 1 1984 关于在有限序列上用量词构造逻辑语言的一些方法。 Zbl 0512.03027号 斯科沃尔佐夫,D.P。 1 1983 关于多种谓词逻辑语言扩展的一点注记。 Zbl 0483.03007号 斯科沃尔佐夫,D.P。;芬恩,V.K。 1 1981 梅德韦杰夫有限问题逻辑的有限公理化是不可能的。 Zbl 0439.03008号 马克西莫娃,L.L。;斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 11 1979 无限问题的逻辑和集合的原子半格上的Kripke模型。 兹伯利0438.03028 斯科沃尔佐夫,D.P。 三 1979 所有引用出版物 前5名被引用出版物 全部的 前5名79位作者引用 7 德米特里·斯科沃尔佐夫 5 铃木,Nobu-Yuki 4 瓦伦丁·B·谢特曼。 三 Kohei的Kishida 三 米哈伊尔·尼古拉埃维奇·里巴科夫 2 古拉姆·贝扎尼什维利 2 迪克·乔恩。 2 沃伊切赫·Dzik 2 维克托·康斯坦丁诺维奇·芬恩 2 罗莎莉,伊姆霍夫 2 菲利普·克雷默 2 皮耶朗基罗·米利奥利 2 阿南塔·帕德马纳巴 2 罗伯特·帕曼 2 拉马努贾姆,R。 2 德米特里·什卡托夫 2 弗兰克·沃尔特 2 赖哈·佐吉法德 1 O.M.安沙科夫。 1 亚历山德罗·阿韦隆 1 史蒂夫·阿沃迪 1 马提亚斯·巴兹 1 吉列尔莫·巴迪亚 1 弗朗西斯科·贝拉迪内利 1 布兰登·贝内特 1 克里斯蒂娜·莱菲斯特·布兰特利 1 V.A.布鲁德诺。 1 埃里卡·卡拉多 1 AlekseĭVyacheslav Chernov 1 Ivano A.Ciardelli。 1 亚历克斯·西特金 1 巴勃罗·多皮科 1 佛罗伦萨,卡米洛 1 马丁·菲舍尔 1 装配,梅尔文·克里斯 1 法语、罗汉语 1 奥利维尔·盖斯克特 1 西尔维奥·吉拉尔迪 1 吉安卢卡·格里莱蒂 1 盖尼斯·扎兰 1 马修·哈里森·特雷纳 1 朱莉娅·伊林 1 艾科·伊索达 1 科米奇,V.I。 1 斯坦尼斯拉夫·基科特 1 安德烈·库迪诺夫(Andre Kudinov,Valer'evich) 1 谢尔盖·库兹涅佐夫。 1 塔德乌兹·利塔克 1 刘、莫 1 蒂姆·S·里昂。 1 拉里萨·勒沃夫娜·马克西莫娃 1 保罗·曼托瓦尼 1 伊利亚·梅日罗夫 1 本·米德尔顿 1 长冈、川崎 1 奈德诺娃,K.A。 1 卡洛·尼古莱 1 格里戈里·奥尔霍维科夫。 1 Onoprienko,Anastasiya A。 1 托马斯·波瓦茨 1 Pourmahdian,马苏德 1 雷迪,米克洛斯 1 弗洛里斯·罗洛夫森 1 安东尼诺·罗托洛 1 伊利亚·夏皮罗夫斯基。 1 埃琳娜·斯科沃尔佐娃(Elena Z.Skvortsova)。 1 约翰·G·斯特尔。 1 MichałMarek,Stronkowski 1 霍尔格·斯特姆 1 保罗·托里尼 1 阿古斯汀·瓦尔弗德 1 韦布鲁克(Rineke Verbrugge) 1 尼古拉·韦雷沙金(Nikolay K.Vereshchagin)。 1 阿尔伯特·维瑟 1 王燕京 1 彼得·沃伊泰拉克 1 理查德·扎克 1 迈克尔·维克托洛维奇(Michael Viktorovich) 1 赵志光 全部的 前5名26篇连载文章中引用 16 Studia Logica公司 6 纯逻辑与应用逻辑年鉴 6 符号逻辑综述 4 哲学逻辑杂志 三 符号逻辑杂志 三 圣母院形式逻辑杂志 三 Logicheskie Issledovaniya逻辑 2 数学笔记 2 数学逻辑档案 2 Indagationes Mathematicae公司。新系列 2 应用非经典逻辑杂志 2 数学逻辑季刊(MLQ) 1 代数与逻辑 1 信息科学 1 计算机与系统科学杂志 1 苏联数学杂志 1 西伯利亚数学杂志 1 合成 1 理论计算机科学 1 逻辑科公报 1 信息与计算 1 国际计算机与系统科学杂志 1 数学科学杂志(纽约) 1 Izvestiya:数学 1 Doklady数学 1 ACM计算逻辑事务 全部的 前5名在9个字段中引用 72 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 4 阶、格、有序代数结构(06-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 按年份列出的引文