弗兰科·蒙塔尼亚
人员信息
附属: 锡耶纳大学
优化列表
2010 – 2019
2018 [j100] 托马索·弗拉米尼奥 , Hykel Hosni公司 , 佛朗科·蒙塔格纳 :
多值事件的严格一致性。 J.塞姆。 日志。 83 ( 1 ) : 55-69 ( 2018 ) [公元99年] 保罗·阿利安 , 弗兰科·蒙塔尼亚 :
BL-代数的变种II。 Stud Logica公司 106 ( 4 ) : 721-737 ( 2018 ) 2016 [公元98年] 马蒂亚·邦吉尼 , 阿加塔·西阿巴托尼 , 佛朗科·蒙塔格纳 :
多值逻辑的证明搜索和Co-NP完备性。 模糊集系统。 292 : 130-149 ( 2016 ) [公元97年] 埃丝特·安娜·科尔西 , 佛朗科·蒙塔格纳 :
雷尼乌拉姆游戏和许多有价值的逻辑。 模糊集系统。 301 : 37-50 ( 2016 ) [公元96年] 萨恩多·杰内 , 佛朗科·蒙塔格纳 :
勘误表:FL等特定群体的分类 e(电子) -链条。 合成。 193 ( 1 ) : 313 ( 2016 ) 2015 [公元95年] 佛朗科·蒙塔格纳 , 朱利亚·西米 , 安德烈亚·索比 :
认真对待皮拉昂。 Commun公司。 非线性科学。 数字。 模拟。 21 ( 1-3 ) : 52-69 ( 2015 ) [公元94年] 佛朗科·蒙塔格纳 , 萨拉·乌戈里尼 :
乘积代数的范畴等价。 Stud Logica公司 103 ( 2 ) : 345-373 ( 2015 ) [公元93年] 马泰奥·比安奇 , 佛朗科·蒙塔格纳 :
Trakhtenbrot定理和MTL的一阶公理扩张。 Stud Logica公司 103 ( 6 ) : 1163-1181 ( 2015 ) [j92] 马泰奥·比安奇 , 佛朗科·蒙塔格纳 :
勘误表:Trakhtenbrot定理和MTL的一阶公理扩展。 Stud Logica公司 103 ( 6 ) : 1183 ( 2015 ) [公元91年] 萨恩多·杰内 , 佛朗科·蒙塔格纳 :
某些类群FL的分类 e(电子) -链条。 合成。 192 ( 7 ) : 2095-2121 ( 2015 ) 2014 【c7】 Hykel Hosni公司 , 佛朗科·蒙塔格纳 :
稳定的非标准不精确概率。 IPMU(3) 2014 : 436-445 2013 [j90] 佛朗科·蒙塔格纳 , 马蒂娜·费德尔 , 朱塞佩·西亚纳 :
多值事件的非标准概率、相干性和条件概率。 国际期刊近似原因。 54 ( 5 ) : 573-589 ( 2013 ) [j89] 萨恩多·杰内 , 佛朗科·蒙塔格纳 :
强对合单形代数。 J.日志。 计算。 23 ( 三 ) : 707-726 ( 2013 ) [公元88年] 佛朗科·蒙塔格纳 , Duccio Pianigiani先生 :
关于本质∑的一个简短注记 1 句子。 泛逻辑 7 ( 1 ) : 103-111 ( 2013 ) [公元87年] 西蒙·波娃 , 弗兰科·蒙塔尼亚 :
多项式空间硬度无析取性质。 理论。 计算。 科学。 467 : 1-11 ( 2013 ) [公元86年] 阿加塔·恰巴托尼 , 佛朗科·蒙塔格纳 :
局部有限多值逻辑的证明理论:半投射逻辑。 理论。 计算。 科学。 480 : 26-42 ( 2013 ) 2012 [公元85年] 佛朗科·蒙塔格纳 :
部分未定多值事件及其条件概率。 J.菲洛斯。 日志。 41 ( 三 ) : 563-593 ( 2012 ) [公元84年] 佛朗科·蒙塔格纳 :
Δ-核模糊逻辑与命题量词,量词消除和一致克雷格插值。 Stud Logica公司 100 ( 1-2 ) : 289-317 ( 2012 ) 【c6】 桑多尔·杰内 , 佛朗科·蒙塔格纳 :
关于剩余幺半群的两个新分类定理。 ISMVL公司 2012 : 75-78 2011 [公元83年] 佛朗科·蒙塔格纳 :
关于模糊逻辑中链和通用模型的完备性。 架构(architecture)。 数学。 日志。 50 ( 1-2 ) : 161-183 ( 2011 ) [公元82年] 马泰奥·比安奇 , 佛朗科·蒙塔格纳 :
n个 -收缩性BL-基因。 架构(architecture)。 数学。 日志。 50 ( 3-4 ) : 257-285 ( 2011 ) [公元81年] 佛朗科·蒙塔格纳 :
编辑。 日志。 J.IGPL公司 19 ( 三 ) : 435-436 ( 2011 ) 【j80】 玛蒂娜·费德尔 , Hykel Hosni公司 , 佛朗科·蒙塔格纳 :
对不精确概率一致性的逻辑表征。 国际期刊近似原因。 52 ( 8 ) : 1147-1170 ( 2011 ) [公元79年] 安纳托利·德武雷岑斯基 , 托马斯·科瓦尔斯基 , 佛朗科·蒙塔格纳 :
状态态射MV-代数。 国际期刊近似原因。 52 ( 8 ) : 1215-1228 ( 2011 ) [公元78年] 托马索·弗拉米尼奥 , 佛朗科·蒙塔格纳 :
多值概率推理模型。 J.日志。 计算。 21 ( 三 ) : 447-464 ( 2011 ) [公元77年] 佛朗科·蒙塔格纳 :
多值逻辑中条件事件书籍的一致性概念。 J.日志。 计算。 21 ( 5 ) : 829-850 ( 2011 ) [公元76年] 托马索·科尔托内西 , 恩里科·马尔基奥尼 , 佛朗科·蒙塔格纳 :
BL-代数的量词消去和其他模型理论性质。 圣母院J.正式日志。 52 ( 4 ) : 339-379 ( 2011 ) 2010 [公元75年] 阿加塔·恰巴托尼 , 乔治·梅特卡夫 , 佛朗科·蒙塔格纳 :
MTL及其扩展的真值压力因子的代数和证明理论特征。 模糊集系统。 161 ( 三 ) : 369-389 ( 2010 ) [公元74年] 佛朗科·蒙塔格纳 , 卡莱斯·诺格拉 :
区分语义上一阶谓词模糊逻辑的算法复杂性。 J.日志。 计算。 20 ( 2 ) : 399-424 ( 2010 )
2000 – 2009
2009 [公元73年] 马泰奥·比安奇 , 佛朗科·蒙塔格纳 :
超音多值逻辑和Dedekind-MacNeille补全。 架构(architecture)。 数学。 日志。 48 ( 8 ) : 719-736 ( 2009 ) [公元72年] 彼得·辛图拉 , 弗朗西斯科·埃斯特瓦 , 琼·吉斯佩特 , 路易斯·戈多 , 佛朗科·蒙塔格纳 , 卡尔斯·诺格拉 :
基于t-范数的模糊逻辑的杰出代数语义:方法和代数等价。 Ann.纯粹应用。 日志。 160 ( 1 ) : 53-81 ( 2009 ) [公元71年] 托马索·弗拉米尼奥 , 佛朗科·蒙塔格纳 :
具有内部状态和概率模糊逻辑的MV-代数。 国际期刊近似原因。 50 ( 1 ) : 138-152 ( 2009 ) [公元70年] 朱塞佩·塞尔吉奥利 , 安东尼奥·莱达 , 弗朗西斯科·保利 , 罗伯托·朱蒂尼 , 托马斯·科瓦尔斯基 , 佛朗科·蒙塔格纳 , 赫克托·弗雷茨 , 克劳迪奥·马里尼 :
猜测秘密问题的两个合作版本。 信息科学。 179 ( 20 ) : 3645-3658 ( 2009 ) [j69] 罗斯蒂斯拉夫·霍西克 , 佛朗科·蒙塔格纳 :
积分交换剩余链中的阿基米德类。 数学。 日志。 问:。 55 ( 三 ) : 320-336 ( 2009 ) [公元68年] 西蒙·波娃 , 佛朗科·蒙塔格纳 :
交换GBL-代数逻辑中的结果关系是PSPACE-完备的。 理论。 计算。 科学。 410 ( 12-13 ) : 1143-1158 ( 2009 ) 2008 [公元67年] 恩里科·马尔基奥尼 , 佛朗科·蒙塔格纳 :
关于Pi 1/2中可定义的三角范数和非范数。 国际期刊近似原因。 47 ( 2 ) : 179-201 ( 2008 ) [j66] 彼得·哈耶克 , 佛朗科·蒙塔格纳 :
关于完全BL-chains的一阶逻辑的注记。 数学。 日志。 问:。 54 ( 4 ) : 435-446 ( 2008 ) [公元65年] 西蒙·波娃 , 佛朗科·蒙塔格纳 :
哈耶克基本逻辑中的证明搜索。 ACM事务处理。 计算。 日志。 9 ( 三 ) : 21:1-21:26 ( 2008 ) 2007 [公元64年] 佛朗科·蒙塔格纳 , 克劳迪奥·马里尼 , 朱利亚·西米 :
产品逻辑和概率乌拉姆游戏。 模糊集系统。 158 ( 6 ) : 639-651 ( 2007 ) [公元63年] 乔治·梅特卡夫 , 弗兰科·蒙塔尼亚 :
子结构模糊逻辑。 J.塞姆。 日志。 72 ( 三 ) : 834-864 ( 2007 ) [公元62年] 恩里科·马尔基奥尼 , 佛朗科·蒙塔格纳 :
L Pi 1/2中的复杂性和可定义性问题。 J.日志。 计算。 17 ( 2 ) : 311-331 ( 2007 ) [公元61年] 保罗·阿利安 , 伊莎贝尔·M·A·费雷林 , 佛朗科·蒙塔格纳 :
基本环:连续的代数研究 t吨 -规范。 Stud Logica公司 87 ( 1 ) : 73-98 ( 2007 ) 【c5】 托马索·弗拉米尼奥 , 弗兰科·蒙塔尼亚 :
MV-代数上状态的代数方法。 EUSFLAT会议(2) 2007 : 201-206 2006 [j60] 佛朗科·蒙塔格纳 :
命题多值逻辑中的插值和Beth性质:语义研究。 Ann.纯粹应用。 日志。 141 ( 1-2 ) : 148-179 ( 2006 ) [公元59年] 佛朗科·蒙塔格纳 , 卡尔斯·诺格拉 , 罗斯蒂斯拉夫·霍西克 :
关于弱相消模糊逻辑。 J.日志。 计算。 16 ( 4 ) : 423-450 ( 2006 ) [c4] 萨恩多·杰内 , 佛朗科·蒙塔格纳 :
产品逻辑和取消圈逻辑的Rényi-Ulam游戏语义。 非经典逻辑的代数和证明理论方面 2006 : 231-246 【c3】 佛朗科·蒙塔格纳 :
关于Lukasiewicz、乘积和 BL公司 逻辑及其一阶扩展。 非经典逻辑的代数和证明论方面 2006 : 247-274 [i1] 西蒙·波娃 , 佛朗科·蒙塔格纳 :
哈耶克基本逻辑中的证明搜索。 CoRR公司 abs/cs/0605094型 ( 2006 ) 2005 [约58] 佛朗科·蒙塔格纳 :
关于连续t-范数BL-代数的谓词逻辑。 架构(architecture)。 数学。 日志。 44 ( 1 ) : 97-114 ( 2005 ) [公元57年] 托马索·弗拉米尼奥 , 佛朗科·蒙塔格纳 :
条件概率的逻辑和代数处理。 架构(architecture)。 数学。 日志。 44 ( 2 ) : 245-262 ( 2005 ) [公元56年] 阿尔贝托·德尔·伦戈 , 盖·卢查德 , 克劳迪奥·马里尼 , 佛朗科·蒙塔格纳 :
猜测秘密问题:一种概率方法。 J.算法 55 ( 2 ) : 142-176 ( 2005 ) [公元55年] 约翰·凯斯 , 桑杰·贾恩 , 佛朗科·蒙塔格纳 , 朱利亚·西米 , 安德烈亚·索比 :
关于学习协调:随机位帮助、有洞察力的范式和能力同构。 J.计算。 系统。 科学。 71 ( 三 ) : 308-332 ( 2005 ) [约54] 佛朗科·蒙塔格纳 , 卢卡·斯帕达 :
MV-代数中乘积蕴涵的连续逼近。 软计算。 9 ( 三 ) : 149-154 ( 2005 ) [公元53年] 佛朗科·蒙塔格纳 :
生成各种BL-代数。 软计算。 9 ( 12 ) : 869-874 ( 2005 ) [公元52年] 安东尼奥·迪诺拉 , 弗朗西斯科·埃斯特瓦 , 路易斯·戈多 , 佛朗科·蒙塔格纳 :
BL-代数的种类。 软计算。 9 ( 12 ) : 875-888 ( 2005 ) 2004 [公元51年] 马蒂亚斯·巴兹 , 阿加塔·恰巴托尼 , 佛朗科·蒙塔格纳 :
基于单体T范数逻辑的解析演算。 芬丹。 信息学 59 ( 4 ) : 315-332 ( 2004 ) [约50] 佛朗科·蒙塔格纳 :
多值逻辑中的存储运算符和乘法量词。 J.日志。 计算。 14 ( 2 ) : 299-322 ( 2004 ) [公元49年] 佛朗科·蒙塔格纳 , 洛伦佐·萨切蒂 :
“多值逻辑的克里普克式语义”勘误表。 数学。 日志。 问:。 50 ( 1 ) : 104-107 ( 2004 ) [公元48年] 弗朗西斯科·埃斯特瓦 , 路易斯·戈多 , 佛朗科·蒙塔格纳 :
t-范数代数生成的BL子簇的等式刻划。 Stud Logica公司 76 ( 2 ) : 161-200 ( 2004 ) 2003 [j47] 萨恩多·杰内 , 佛朗科·蒙塔格纳 :
关于左连续t-范数的连续点。 架构(architecture)。 数学。 日志。 42 ( 8 ) : 797-810 ( 2003 ) [公元46年] 萨恩多·杰内 , 佛朗科·蒙塔格纳 :
构造左连续t-范数的一般方法。 模糊集系统。 136 ( 三 ) : 263-282 ( 2003 ) [j45] 佛朗科·蒙塔格纳 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
Hájek逻辑BL的Tableau微积分。 J.日志。 计算。 13 ( 2 ) : 241-259 ( 2003 ) [公元44年] 弗朗西斯科·埃斯特瓦 , 卢伊斯·戈多 , 彼得·哈耶克 , 佛朗科·蒙塔格纳 :
环形和模糊逻辑。 J.日志。 计算。 13 ( 4 ) : 532-555 ( 2003 ) [公元43年] 佛朗科·蒙塔格纳 , 洛伦佐·萨切蒂 :
多值逻辑的克里普克式语义。 数学。 日志。 问:。 49 ( 6 ) : 629-641 ( 2003 ) [公元42年] 莱蒂齐亚·马格诺尼 , 马西莫·米罗利 , 佛朗科·蒙塔格纳 , 朱利亚·西米 :
离散域上概率分布的PAC学习。 理论。 计算。 科学。 299 ( 1-3 ) : 37-63 ( 2003 ) 【c2】 约翰·凯斯 , 桑杰·贾恩 , 佛朗科·蒙塔格纳 , 朱利亚·西米 , 安德烈亚·索比 :
关于学习协调:随机位帮助、有洞察力的范式和能力同构。 COLT公司 2003 : 699-713 【c1】 弗朗西斯科·埃斯特瓦 , 路易斯·戈多 , 佛朗科·蒙塔格纳 :
基于连续T范数定义的Anz剩余模糊逻辑的公理化。 国际金融服务协会 2003 : 172-179 2002 [公元41年] 罗伯托·奇诺利 , 弗朗西斯科·埃斯特瓦 , 路易斯·戈多 , 弗兰科·蒙塔尼亚 :
关于一类左连续t-范数。 模糊集系统。 131 ( 三 ) : 283-296 ( 2002 ) [j40] 佛朗科·蒙塔格纳 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
一阶分支时序逻辑片断研究。 数学。 日志。 问:。 48 ( 1 ) : 51-62 ( 2002 ) [j39] 萨恩多·杰内 , 弗兰科·蒙塔尼亚 :
Esteva和Godo逻辑MTL的标准完全性证明。 Stud Logica公司 70 ( 2 ) : 183-192 ( 2002 ) [公元38年] 弗朗西斯科·埃斯特瓦 , 琼·吉斯佩特 , 路易斯·戈多 , 佛朗科·蒙塔格纳 :
关于单体T-范数逻辑的某些公理扩张的标准完备性和有理完备性。 Stud Logica公司 71 ( 2 ) : 199-226 ( 2002 ) [公元37年] 佛朗科·蒙塔格纳 , 小野博基拉 :
Esteva和Godo的逻辑MTL的Kripke语义、不确定性和标准完整性[forall]。 Stud Logica公司 71 ( 2 ) : 227-245 ( 2002 ) 2001 [公元36年] 弗朗西斯科·埃斯特瓦 , 路易斯·戈多 , 佛朗科·蒙塔格纳 :
这个 L(左) PL\Pi和 L(左) P1/2 L Pi 1/2逻辑:连接Lukasiewicz和Product logics的两个完整模糊系统。 架构(architecture)。 数学。 日志。 40 ( 1 ) : 39-67 ( 2001 ) [j35] 马提亚斯·巴兹 , 彼得·哈耶克 , 佛朗科·蒙塔格纳 , 赫尔穆特·维思 :
t-重言式的复杂性。 Ann.纯粹应用。 日志。 113 ( 1-3 ) : 3-11 ( 2001 ) [公元34年] 佛朗科·蒙塔格纳 :
量化模糊逻辑中的三个复杂性问题。 Stud Logica公司 68 ( 1 ) : 143-152 ( 2001 ) 2000 [公元33年] 佛朗科·蒙塔格纳 :
命题模糊逻辑的代数方法。 J.日志。 语言信息。 9 ( 1 ) : 91-124 ( 2000 ) [公元32年] 佛朗科·蒙塔格纳 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
稠密时域上有界度量时序逻辑的无割证明系统。 数学。 日志。 问:。 46 ( 2 ) : 171-182 ( 2000 )
1990 – 1999
1999 [公元31年] 佛朗科·蒙塔格纳 , 朱利亚·西米 :
测量理论学习和知情者学习的范式。 Stud Logica公司 62 ( 2 ) : 243-268 ( 1999 ) 【j30】 杜西奥·卢奇 , 佛朗科·蒙塔格纳 :
正负信息证明的运算逻辑。 Stud Logica公司 63 ( 1 ) : 7-25 ( 1999 ) [公元29年] 佛朗科·蒙塔格纳 , 丹尼尔·奥斯森 :
学会协调; 递归理论视角。 合成。 118 ( 三 ) : 363-382 ( 1999 ) 1998 [公元28年] 佛朗科·蒙塔格纳 :
语言类的度量衡识别研究。 Inf.计算。 143 ( 1 ) : 74-107 ( 1998 ) 1996 [公元27年] 佛朗科·蒙塔格纳 :
无量词算术系统的代数处理。 架构(architecture)。 数学。 日志。 35 ( 4 ) : 209-224 ( 1996 ) [公元26年] 佛朗科·蒙塔格纳 , 朱利亚·西米 , 安德烈亚·索比 :
逻辑和概率系统。 架构(architecture)。 数学。 日志。 35 ( 4 ) : 225-261 ( 1996 ) 1994 [公元25年] 谢尔盖·N·阿特莫夫 , 弗兰科·蒙塔尼亚 :
关于带可证明算子的一阶理论。 J.塞姆。 日志。 59 ( 4 ) : 1139-1153 ( 1994 ) [公元24年] 安德烈亚·索比 , 桑德拉·丰塔尼 , 佛朗科·蒙塔格纳 :
公理系统相对效率的注记。 数学。 日志。 问:。 40 : 261-272 ( 1994 ) [公元23年] 佛朗科·蒙塔格纳 , 安东尼拉·曼奇尼 :
最小预测集理论。 圣母院J.正式日志。 35 ( 2 ) : 186-203 ( 1994 ) 1992 [j22] 彼得·哈耶克 , 弗兰科·蒙塔尼亚 :
的逻辑 二 1 -保守主义仍在继续。 架构(architecture)。 数学。 日志。 32 ( 1 ) : 57-63 ( 1992 ) [公元21年] 佛朗科·蒙塔格纳 :
逻辑片断中的多项式和超指数短证明。 J.塞姆。 日志。 57 ( 三 ) : 844-863 ( 1992 ) 1991 [公元20年] 罗伯特·迪·保拉 , 佛朗科·蒙塔格纳 :
由Peano算术一致的递归可枚举扩展生成的句法p-递归范畴的一些性质。 J.塞姆。 日志。 56 ( 2 ) : 643-660 ( 1991 ) [公元19年] 迪克·德琼恩 , 马克·朱梅莱 , 佛朗科·蒙塔格纳 :
关于Solovay定理的证明。 Stud Logica公司 50 ( 1 ) : 51-69 ( 1991 ) [公元18年] 迪克·德琼恩 , 佛朗科·蒙塔格纳 :
Rosser排序和自由变量。 Stud Logica公司 50 ( 1 ) : 71-80 ( 1991 ) 1990 [公元17年] 彼得·哈耶克 , 佛朗科·蒙塔格纳 :
π的逻辑 1 -保守性。 架构(architecture)。 数学。 日志。 30 ( 2 ) : 113-123 ( 1990 ) [公元16年] 亚历山德拉·卡蓬 , 佛朗科·蒙塔格纳 :
更短的证据:双峰调查。 数学。 日志。 问:。 36 ( 1 ) : 47-66 ( 1990 ) [公元15年] 佛朗科·蒙塔格纳 , 乔瓦尼·索马鲁加 :
关于一些扩展结果的注释。 Stud Logica公司 49 ( 4 ) : 591-600 ( 1990 )
1980 – 1989
1989 [公元14年] 弗兰科·蒙塔尼亚 , 安德烈亚·索比 :
部分递归算子递归范畴的创造性和完备性。 J.塞姆。 日志。 54 ( 三 ) : 1023-1041 ( 1989 ) [j13] 迪克·德琼恩 , 佛朗科·蒙塔格纳 :
更短的证明。 数学。 日志。 问:。 35 ( 三 ) : 247-260 ( 1989 ) [j12] 亚历山德拉·卡蓬 , 佛朗科·蒙塔格纳 :
双峰逻辑中的Rosser排序。 数学。 日志。 问:。 35 ( 4 ) : 343-358 ( 1989 ) [公元11年] 佛朗科·蒙塔格纳 :
部分映射的两个句法类别中的“病理学”。 圣母院J.正式日志。 30 ( 1 ) : 105-116 ( 1989 ) 1988 [公元10年] 佛朗科·蒙塔格纳 , 乔瓦尼·索马鲁加 :
Rosser和mostowski句子。 架构(architecture)。 数学。 日志。 27 ( 2 ) : 115-133 ( 1988 ) [公元9年] 迪克·德容 , 佛朗科·蒙塔格纳 :
可证明的固定点。 数学。 日志。 问:。 34 ( 三 ) : 229-250 ( 1988 ) 1987 [j8] 弗兰科·蒙塔尼亚 :
Pa有限子理论中的可证明性和相对可解释性:模态研究。 J.塞姆。 日志。 52 ( 2 ) : 494-511 ( 1987 ) [j7] 佛朗科·蒙塔格纳 :
迭代扩张Rosser不动点与超超对角代数。 数学。 日志。 问:。 33 ( 4 ) : 293-303 ( 1987 ) [j6] 迪克·乔恩 , 佛朗科·蒙塔格纳 :
广义Rosser不动点。 Stud Logica公司 46 ( 2 ) : 193-203 ( 1987 ) 1985 [j5] 佛朗科·蒙塔格纳 , 安德烈亚·索比 :
R.E.预序结构的泛递归理论性质。 J.塞姆。 日志。 50 ( 2 ) : 397-406 ( 1985 ) 1984 【j4】 佛朗科·蒙塔格纳 :
不动点代数的完备性结果。 数学。 日志。 问:。 30 ( 32-34 ) : 525-532 ( 1984 ) [j3] 弗兰科·蒙塔尼亚 :
可证明的谓词模态逻辑。 圣母院J.正式日志。 25 ( 2 ) : 179-189 ( 1984 ) 1983 [注2] 佛朗科·蒙塔格纳 :
Zfc-模型为Kripke-模型。 数学。 日志。 问:。 29 ( 三 ) : 163-168 ( 1983 ) 1982 [j1] 佛朗科·蒙塔格纳 :
相对提前完成计算和算术。 J.菲洛斯。 日志。 11 ( 4 ) : 419-430 ( 1982 )