编辑配置文件（在新选项卡中打开） 萨维里奥·西塔迪尼 合著者距离 作者ID： 西塔迪尼·萨维里奥 发布日期： 萨维里奥·西塔迪尼 外部链接： MGP公司 已编制索引的文档： 8出版物自1997年起 合著者： 3位合著者具有8联合出版物 60位合作作者 合著者 0 单作者的 4 法比奥·贝里西玛 三 卡洛·托法洛里 1 威弗里德·西格 系列 三 数学逻辑季刊（MLQ） 2 Studia Logica公司 1 圣母院形式逻辑杂志 1 数学逻辑档案 领域 8 数学逻辑和基础（03-XX） 2 结合环与代数（16-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用13次13文件 引用人▼ 年份▼ 正规自然演绎证明（在非经典逻辑中）。 Zbl 1098.03026号 威弗里德·西格;萨维里奥·西塔迪尼 11 2005 模态逻辑中的最小公理化。 Zbl 0862.03007号 法比奥·贝里西玛;萨维里奥·西塔迪尼 1 1997 比较群环上模的一阶理论。二： 可决定性。 Zbl 1013.03041号 萨维里奥·西塔迪尼;卡洛·托法洛里 1 2002 正规自然演绎证明（在非经典逻辑中）。 Zbl 1098.03026号 威弗里德·西格;萨维里奥·西塔迪尼 11 2005 比较群环上模的一阶理论。二： 可决定性。 Zbl 1013.03041号 萨维里奥·西塔迪尼;卡洛·托法洛里 1 2002 模态逻辑中的最小公理化。 Zbl 0862.03007号 法比奥·贝里西玛;萨维里奥·西塔迪尼 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 5 威弗里德·西格 2 毛罗·法拉利 2 佛罗伦萨，卡米洛 1 德拉赫尚、法扎内赫 1 罗伊·戴克霍夫 1 埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 1 毛里齐奥·法托罗西·巴纳巴 1 菲尔德，克林顿 1 阿萨夫·科福里。 1 笔记本电脑，安德烈 1 索尼娅，新奥世 1 乌利亚诺保罗齐·巴列斯特里尼 1 马提亚斯·普奇 1 维拉，普宁斯卡娅 1 卡洛·托法洛里 1 帕特里克·M·沃尔什。 全部的 前5名6篇连载文章中引用 2 自动推理杂志 1 代数通讯 1 纯逻辑与应用逻辑年鉴 1 数学逻辑季刊（MLQ） 1 符号逻辑述评 1 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 全部的 前5名在7个字段中引用 11 数学逻辑和基础（03-XX） 7 计算机科学（68至XX） 2 历史和传记（01-XX） 1 一般性和全局性主题；集合（00-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 按年份列出的引文