阿尔多·乌尔西尼 讣告：弗朗科·蒙塔格纳（1948-2015）。 （英语） Zbl 1384.01082号 软计算。 21，第1号，第1-7号（2017）. MSC公司： 01A70号 传记、讣告、个人信息、参考书目 传记参考： 佛朗哥·蒙塔格纳 PDF格式BibTeX公司 XML格式引用 \textit{A.Ursini}，软计算。21，第1号，1--7号（2017；Zbl 1384.01082） 全文： 内政部 参考文献： [1] AglianóP，Montagna F（2003）BL-代数的种类I：一般性质。纯应用代数杂志181（2-3）：105-129·Zbl 1034.06009号 [2] AglianóP，Ferreirim IMA，Montagna F（2007）《基本箍：连续t-范数的代数研究》。螺柱日志87（1）：73-98·Zbl 1127.03049号 [3] Artömov S，Montagna F（1994）关于可证明算子的一阶理论。J Symb日志59（4）：1139-1153·Zbl 0860.03016号 [4] Baaz M，Hájek P，Montagna F，Veith H（2001）t-重言式的复杂性。Ann Pure应用日志113（1-3）：3-11·Zbl 1006.03022号 [5] Baaz M，Cibattoni F，Montagna F（2004）基于单体t范数逻辑的分析计算。Fundam信息59（4）：315-332·Zbl 1057.03019号 [6] Bellissima F，Montagna F（2006）《Matematica per l’informatica》。Aritmetica和logica，可能是grafi。罗马Carocci·Zbl 1258.03029号 [7] Bernardi C，Montagna F（1984）由扩展公式导出的等价关系：通过新的不动点性质进行分类。基础数学124（3）：221-232·Zbl 0564.03043号 [8] Bianchi M，Montagna F（2009）《超音多值逻辑与Dedekind-MacNeille补全》。Arch数学日志48（8）：719-736·Zbl 1185.03040号 [9] Bianchi M，Montagna【F（2011）n】n-收缩性BL-基因。Arch Math Log 50（3-4）：257-285·Zbl 1266.03041号 [10] Bianchi M，Montagna F（2015）Trakhtenbrot定理和MTL的一阶公理扩展。Stud Log 103（6）：1163-1181（勘误表：Studia Logica 103（5）（2015），第1183页）·Zbl 1330.03061号 [11] Bova S，Montagna F（2008）《哈耶克基本逻辑中的证明搜索》。ACM事务计算日志9（3:26）：1-26·Zbl 1367.03024号 [12] Bova S，Montagna F（2009）交换GBL代数逻辑中的结果关系是PSPACE完备的。《计算机科学》410（12-13）：1143-1158·Zbl 1159.03045号 [13] Bova S，Montagna F（2013）《多项式空间硬度无分离特性》。《计算机科学》467:1-11·Zbl 1298.68097号 [14] Busaniche M，Montagna F（2011）Hájek的逻辑BL和BL-代数。收录：Cintula P，Hájek P，Noguera C（eds）数学模糊逻辑手册-第1卷，第37卷，逻辑、数学逻辑和基础研究，伦敦大学出版社，第355-447页·Zbl 1284.03176号 [15] Carbone A，Montagna F（1989）《双峰逻辑中的Rosser排序》。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学博士35（4）：343-358·Zbl 0688.03010号 [16] Carbone A，Montagna F（1990）更短的证据：双峰调查。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学研究36（1）：47-66·Zbl 0697.03033号 [17] Case J、Jain S、Montagna F、Simi G、Sorbi A（2005）《关于学习协调：随机位帮助、有洞察力的范式和能力同构》。计算机系统科学杂志71（3）：308-332·Zbl 1094.68039号 [18] Ciabattoni A，Montagna F（2013）局部有限多值逻辑的证明理论：半投影逻辑。《计算机科学》480:26-42·Zbl 1322.03019号 [19] Ciabattoni A，Metcalfe G，Montagna F（2010）MTL及其扩展的真值压力因子的代数和证明理论表征。模糊集系统161（3）：369-389·Zbl 1190.03026号 [20] Cignoli R，Esteva F，Godo L，Montagna F（2002）关于一类左连续t-范数。模糊集系统131（3）：283-296·Zbl 1012.03032号 [21] Cintula P，Esteva F，Gispert J，Godo L，Montagna F，Noguera C（2009）基于t-范数的模糊逻辑的杰出代数语义：方法和代数等价性。Ann Pure应用数学日志160（1）：53-81·兹比尔1168.03052 [22] Corsi EA，Montagna F（2016）《雷尼乌拉姆游戏和多值逻辑》。模糊集系统301:37-50·Zbl 1396.03042号 [23] Cortonesi T，Marchioni E，Montagna F（2011）量词消除和BL-代数的其他模型理论性质。圣母院J表日志52（4）：339-379·Zbl 1247.03137号 [24] Jongh，D。；Montagna，F.，无文章标题，通用广义不动点。螺柱日志，46，193-203（1987）·Zbl 0638.03019号 [25] de Jongh D，Montagna F（1988）可证明不动点。《数学杂志》34（3）：229-250·Zbl 0661.03009号 [26] de Jongh D，Montagna F（1989）更短的证明。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学博士35（3）：247-260·Zbl 0688.0304号 [27] de Jongh D，Montagna F（1991）Rosser排序和自由变量。螺柱日志50（1）:71-80·Zbl 0744.03058号 [28] de Jongh D，Jumelet M，Montagna F（1991）关于Solovay定理的证明。双头螺栓日志50（1）:51-70·Zbl 0744.03057号 [29] Del Lungo A，Louchard G，Marini C，Montagna，（2005）猜测秘密问题：概率方法。J算法55（2）：142-176·Zbl 1151.91315号 [30] Di Nola A，Esteva F，Godo L，Montagna F（2005）BL-代数的种类。软计算9:875-888·Zbl 1092.03036号 [31] Di Paola RA，Montagna F（1991）由Peano算术的一致递归可枚举扩展生成的句法p-递归范畴的一些性质。J Symb日志56（2）：643-660·Zbl 0745.03037号 [32] Paola，RA；蒙塔格纳，F。；Sorbi，A.（编辑），《有界算术理论进展》，123-156（1996），纽约·Zbl 0881.03029号 [33] Dvurečenskij A，Kowalski T，Montagna F（2011）状态态射MV-代数。国际J近似原因52（8）：1215-1228·Zbl 1251.06001号 [34] Esteva F，Godo L，Montagna F（2001）Theಋ\[\Pi\]∏and \3211\[Pi\frac{1}{2}∏12logics:连接ಌuka和Product logics的两个完整模糊系统。Arch数学日志40（1）：39-67·兹伯利0966.03022 [35] Esteva F，Gispert J，Godo L，Montagna F（2002）关于单体t-范数逻辑的一些公理扩张的标准和有理完备性。螺柱日志71（2）：199-226·Zbl 1011.03015号 [36] Esteva F、Godo L、Hájek P、Montagna F（2003）《圈与模糊逻辑》。J测井计算13（4）：531-545·Zbl 1039.03016号 [37] Esteva F，Godo L，Montagna F（2004）由t-范数代数生成的BL子簇的等式刻画。螺柱日志76（2）：161-200·Zbl 1045.03048号 [38] Fedel M，Hosni H，Montagna F（2011）《不精确概率相干的逻辑表征》。国际J批准理由52（8）：1147-1170·Zbl 1244.03082号 [39] Fedel M、Keimel K、Montagna F、Roth W（2013a）《Łuka逻辑中的不精确概率、赌注和函数分析方法》。数学论坛25（2）：405-441·Zbl 1266.06011号 [40] Fedel M、Montagna F、Scianna G（2013b）多值事件的非标准概率、相干性和条件概率。国际J近似原因54（5）：573-589·Zbl 1316.03009号 [41] Flaminio T，Montagna F（2005）条件概率的逻辑和代数处理。Arch数学日志44（2）：245-262·Zbl 1064.03016号 [42] Flaminio T，Montagna F（2009），具有内部状态和概率模糊逻辑的MV-代数。国际J近似原因50（1）：138-152·Zbl 1185.06007号 [43] Flaminio T，Montagna F（2011）多值概率推理模型。J对数计算21（3）：447-464·Zbl 1237.06005号 [44] Flaminio T，Hosni H，Montagna F（2011）无限值事件严格相干的表征。国际J近似推理52（8）：1147-1170·Zbl 1244.03082号 [45] Fontani S，Montagna F，Sorbi A（1993）关于公理系统相对效率的一个注记。数学日志Q 40（2）：261-272·Zbl 0812.03026号 [46] Hájek P，Montagna F（1990年a）\[\Pi_1\]∏1-保守性的逻辑。Arch数学日志30（2）：113-123·Zbl 0713.03007号 [47] Hájek P，Montagna F（1990年b）\[\Pi_1\]∏1-保守性的逻辑。Arch数学日志30（2）：123-130·Zbl 0713.03007号 [48] Hájek P，Montagna F（1992），\[\Pi_1\]∏1-保守性的逻辑继续。Arch数学日志32（1）：57-63·Zbl 0790.03018号 [49] Hájek P，Montagna F（2008）关于完全BL-chains的一阶逻辑的注释。数学日志Q 54（4）：435-446·Zbl 1152.03019号 [50] Hájek，P。；蒙塔格纳，F。；Pudlak，P。；Clote，P.（编辑）；Krajicek，J.（编辑），《使用元数学规则的缩写证明》，第23期，197-221（1993），牛津·兹比尔0794.03080 [51] Hájek P，Montagna F，Noguera C（2011）一阶模糊逻辑的算法复杂性。收录于：Cintula P，Hájek P，Noguera C（eds）数学模糊逻辑手册-第2卷，第38卷，逻辑、数学逻辑和基础研究，第11章，第38册，伦敦大学出版社，第853-908页·Zbl 1284.03180号 [52] Horcík R，Montagna F（2009）积分交换剩余格中的阿基米德类。数学日志Q 55（3）：320-336·Zbl 1172.03037号 [53] Hosni H，Montagna F（2014）稳定非标准不精确概率。摘自：Laurent A、Strauss O、Bouchon-Meunier B、Yager RR（eds）《知识型系统中不确定性的信息处理和管理：第15届国际会议》，IPMU 2014，法国蒙彼利埃，2014年7月15-19日。《计算机与信息科学中的通信》第444卷第三部分会议录。纽约州施普林格，第436-445页·Zbl 1461.03022号 [54] Jenei S，Montagna F（2002）Esteva和Godo逻辑MTL的标准完整性证明。螺柱日志70（2）：183-192·Zbl 0997.03027号 [55] Jenei S，Montagna F（2003a）构造左连续t-范数的一般方法。模糊集系统136（3）：263-282·Zbl 1020.03020号 [56] Jenei S，Montagna F（2003b）关于左连续t-范数的连续点。Arch Math Log 42（8）：797-810·兹伯利1047.03016 [57] Jenei S，Montagna F（2013）强对合单形代数。J测井计算23（3）：707-726·Zbl 1288.03044号 [58] Jenei S，Montagna F（2015）某些类群FLe链的分类。综合192（7）：2095-2121（勘误表：综合193（1）（2016），第313页）·Zbl 1357.06011号 [59] Jipsen P，Montagna F（2006）关于广义BL代数的结构。代数大学55（2-3）：227-238·Zbl 1109.06011号 [60] Jipsen P，Montagna F（2009）正规GBL代数的Blok-Ferreirim定理及其应用。代数大学60（4）：381-404·Zbl 1192.06011号 [61] Jipsen P，Montagna F（2010）正规GBL-代数的嵌入定理。纯应用代数J 214（9）：1559-1575·Zbl 1192.06012号 [62] Louchard G、Marini C、Montagna F、Simi G（2005）《猜谜游戏的变种》。纯数学应用16（3）：295-305·Zbl 1110.60003号 [63] Luchi D，Montagna F（1999）具有正负信息的证明的操作逻辑。螺柱日志63（1）：7-25·兹伯利0947.03077 [64] Magnoni L，Mirolli M，Montagna F（2003），离散域上概率分布的PAC学习。计算机科学理论299（1-3）：161-200·Zbl 1038.68057号 [65] Marchioni E，Montagna F（2007）《ಋ\[\Pi\frac{1}{2}\]∏12中的复杂性和可定义性问题》。J测井计算17（2）：311-331·Zbl 1142.03015号 [66] Marchioni E，Montagna F（2008）关于在Ł\[\Pi\frac{1}{2}∏12中可定义的三角范数和单形。国际J近似原因47（2）：179-201·Zbl 1189.03032号 [67] 马拉，V。；蒙塔格纳，F。；斯帕达，L。；Hosni，H.（编辑）；Lolli，G.（编辑）；Toffalori，C.（编辑），Logiche polivalenti（2015），比萨 [68] 梅特卡夫，G。；Montagna，F.，无文章标题，亚结构模糊逻辑。J Symb Log，72，834-864（2007）·Zbl 1139.03017号 [69] Metcalfe G，Montagna F，Tsinakis C（2014）有序代数中的合并与插值。J代数402:21-82·兹比尔1318.06012 [70] Montagna F（1974a）Sulle classi准理想。Bollettino della Unione Matematica Italiana 4（10）：85-97·Zbl 0319.08007号 [71] Montagna F（1974b）《Sui limiti di cert teorie》，《马蒂马蒂奇》29（1）：221-236·Zbl 0308.02049号 [72] Montagna F（1975）对于每一个自由生成代数，自由生成代数在可对角化代数的等式类中不是函数自由的。螺柱对数34（4）:315-319·Zbl 0322.02032号 [73] Montagna F（1978）关于Feferman谓词的代数化。螺柱日志37（3）：221-236·Zbl 0398.03054号 [74] Montagna F（1979a）关于Peano算术的可对角化代数。Bollettino della Unione Matematica Italiana 16-B（5）：795-812·Zbl 0419.08010号 [75] Montagna F（1979b）关于Peano算术的公式，这些公式在模态ponens下是可证明的闭的。Bollettino della Unione Matematica Italiana 16-B（5）：196-211·Zbl 0405.03030号 [76] Montagna F（1980a）对Peano算术中可对角化代数的一阶理论的解释。螺柱日志39（4）：347-354·Zbl 0463.03015号 [77] Montagna F（1980b）可对角化代数一阶理论的不可判定性。螺柱日志39（4）：355-359·Zbl 0463.03016号 [78] Montagna F（1980年c）一些带有量词的模态逻辑。Bollettino della Unione Matematica Italiana 17-B（5）：1395-1410·Zbl 0452.03012号 [79] Montagna F（1982）相对预完成计数和算术。J Philos日志11（4）：419-430·Zbl 0498.03046号 [80] Montagna F（1983a）ZFC模型为Kripke模型。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学博士29:163-168·Zbl 0519.03013号 [81] Montagna F（1983b）基础良好的代数。代数大学16（2）：38-46·Zbl 0467.06009号 [82] Montagna F（1984a）不动点代数的完备性结果。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学博士30（1）：525-532·兹伯利0564.03044 [83] Montagna F（1984b）可证明的谓词模态逻辑。圣母院J表日志25（2）：179-189·Zbl 0549.03013号 [84] Montagna F（1985）Primi risultati sulla logica preditiva modale della dimostrabilitá。收录：数理逻辑会议记录。第2卷（锡耶纳1983/1984）。锡耶纳大学，锡耶纳，第353-355页·Zbl 0951.03017号 [85] Montagna F（1987年a）《PA.Symb Log 52（2）：494-511》有限子理论中的可证明性·Zbl 0623.03023号 [86] Montagna F（1987b）迭代了扩张Rosser不动点和超超对角代数。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学博士33（4）：293-303·Zbl 0662.03059号 [87] Montagna F（1988）算术自参考和广义Rosser公式。特奥里亚2:145-170 [88] Montagna F（1989）《部分映射的两种句法类别中的病理学》。圣母院J表日志30（1）：105-116·兹伯利0665.03038 [89] Montagna F（1990）Lindenbaum不动点代数的基本理论是超算术的。纯数学应用1（2）：207-216·Zbl 0746.03047号 [90] Montagna F（1992）《算术片段中的多项式和超指数更短证明》。J Symb日志57（3）：844-863·Zbl 0765.03029号 [91] Montagna F（1994）Paradossi e teoremi di incompletezza：il teorema di Solovay。在：数学认识论。1992-1993年研讨会（锡耶纳/博洛尼亚/帕维亚），罗马Matematica degli Insegnanti的Formazione e Aggiornamento，第85-95页。CNR（意大利语）·Zbl 0992.06012号 [92] Montagna F（1996）无量词算术系统的代数处理。Arch数学日志35（4）：209-224·Zbl 0847.03028号 [93] Montagna F（1998）《关于语言类的度量一识别的调查》。Inf计算143（1）:74-107·Zbl 0919.68080号 [94] Montagna F（2000a）命题模糊逻辑的代数方法。J Log Lang信息9（1）：91-124·兹伯利0942.06006 [95] Montagna F（2000b）一个生成器上的自由BL-代数。神经网络世界5:837-844 [96] Montagna F（2001a）量化模糊逻辑中的三个复杂性问题。螺柱日志68（1）：143-152·Zbl 0985.03014号 [97] Montagna F（2001b）带有附加算子的\[\text{MV}_{Delta}\]MVΔ代数的函数表示定理。J代数238（1）：99-125·Zbl 0987.06012号 [98] Montagna F（2004）多值逻辑中的存储运算符和乘法量词。J对数计算14（2）：299-322·Zbl 1061.03027号 [99] Montagna F（2005a）具有乘积和乘积残差的MV-代数的次约化。代数大学53（1）：109-137·Zbl 1086.06010号 [100] Montagna F（2005b）关于连续t-范数BL-代数的谓词逻辑。Arch数学日志44（1）：97-114·Zbl 1070.03013号 [101] Montagna F（2005c）生成BL代数的多样性。软计算9:869-874·Zbl 1093.03039号 [102] Montagna F（2005d）从格序阿贝尔群到多值逻辑代数：综述。纯数学应用16（1-2）：89-102·Zbl 1095.03080号 [103] Montagna F（2006）命题多值逻辑中的插值和Beth性质：语义研究。Ann Pure Appl日志141（1-2）：148-179·Zbl 1094.03011号 [104] 蒙塔格纳，F。；Cintula，P.（编辑）；Švejdar，Z.（编辑）；Hainoková，V.（编辑），Petr Hájek的逻辑BL和BL-代数，9-12（2009），伦敦 [105] Montagna F（2011a）多值逻辑中条件事件书籍的连贯性概念。J对数计算21（5）：829-850·Zbl 1252.03042号 [106] Montagna F（2011b）不精确概率的代数处理。数学演示44（3）：497-509·Zbl 1237.06006号 [107] Montagna F（2011c）关于模糊逻辑中链和通用模型的完整性。Arch Math Log 50（1-2）：161-183·兹伯利1216.03047 [108] Montagna F（2012a）部分待定多值事件及其条件概率。J Philos日志41（3）：563-593·Zbl 1261.03096号 [109] Montagna F（2012b）\[\Delta\]Δ-带命题量词、量词消去和一致Craig插值的核心模糊逻辑。螺柱日志100（1-2）：289-317·Zbl 1258.03029号 [110] Montagna F，Pasini L（1980）对应于模态逻辑K43W的等式类。意大利Bollettino della Unione Matematica 2:373-385·Zbl 0448.03016号 [111] Montagna F，Sorbi A（1985）r.e.预序结构的普遍递归理论性质。J Symb日志50（2）：179-189·Zbl 0578.03026号 [112] Montagna F、Sommaruga G（1988）Rosser和Mostowski句子。Arch数学日志27（2）：115-133·Zbl 0688.03041号 [113] Montagna F，Sorbi A（1989）部分递归算子递归范畴的创造性和完备性。J Symb日志54（3）：1023-1041·兹比尔0714.03041 [114] Montagna F，Sommaruga G（1990）关于一些推广结果的注记。螺柱日志49（4）：591-600·Zbl 0736.03005号 [115] Montagna F，Mancini A（1994）最小预测集理论。圣母院J表日志35（2）：186-203·Zbl 0816.03023号 [116] Montagna F，Osherson D（1999）《学习协调：递归理论视角》。合成118（3）：74-107·Zbl 0943.03034号 [117] Montagna F，Simi G（1999）《测量理论学习和信息学习的范式》。螺柱日志62（2）：243-268·Zbl 0924.68172号 [118] Montagna F，Panti G（2001）《向MV-代数添加结构》。纯应用代数杂志164（3）：365-387·Zbl 0992.06012号 [119] Montagna F，Sebastiani V（2001），算术系统的等式片段。代数大学46（3）：417-441·Zbl 1061.03036号 [120] Montagna F，Ono H（2002）《Esteva和Godo逻辑MTL的不确定性和标准完整性》。螺柱日志71（2）:227-245·Zbl 1013.03021号 [121] Montagna F，Sacchetti L（2003）多值逻辑的Kripke-style语义。数学日志Q 49（6）：629-641（勘误表：数学逻辑季刊50（1）（2003），第104-107页）·Zbl 1035.03010号 [122] Montagna F，Tsinakis C（2007）使用模态对组进行排序。纯应用代数J 211（2）：511-531·Zbl 1121.06304号 [123] Montagna F，Tsinakis C（2010）具有圆锥的有序群。纯应用代数J 214（1）：71-88·Zbl 1185.06012号 [124] Montagna F，Noguera C（2010）区分语义上一阶谓词模糊逻辑的算法复杂性。J对数计算20（2）：399-424·Zbl 1198.03032号 [125] Montagna F，Pianigiani D（2013）本质上\[\Sigma_1\]∑1句子的简短注释（修订版和扩展版）。Log Univers 7（1）：103-111·Zbl 1270.03039号 [126] Montagna F，Ugolini S（2015）乘积代数的范畴等价。螺柱日志103（2）：345-373·Zbl 1373.03131号 [127] Montagna F、Simi G、Sorbi A（1996）《逻辑和概率系统》。Arch数学日志35（4）:225-261·Zbl 0854.03020号 [128] Montagna F，Pinna GM，Tiezzi EBP（1998）\[{\rm MTL}\le{Q}\]MTL≤Q的带截消元的证明系统。Degano P，Vaccaro V，Pirillo G 1998年ICTCS会议记录）。新加坡世界科学出版社，第141-152页·Zbl 1045.03048号 [129] Montagna F，Pinna GM，Tiezzi EBP（2000）稠密时域上有界度量时序逻辑的无割证明系统。数学日志Q 46（2）：171-182·Zbl 0951.03017号 [130] Montagna F，Pinna GM，Tiezzi E（2002）一阶分支时间逻辑片段的研究。数学日志Q 48（1）：51-62·Zbl 1002.03016号 [131] Montagna F，Pinna GM，Tiezzi E（2003）Hájek逻辑的表演算BL.日志计算13（2）：241-259·Zbl 1055.03017号 [132] Montagna F，Noguera C，Horcík R（2006）关于弱可消模糊逻辑。J对数计算16（4）：423-450·Zbl 1113.03021号 [133] Montagna F，Marini C，Simi G（2007）产品逻辑和概率乌拉姆博弈。模糊集系统158（6）：639-651·Zbl 1117.03028号 [134] Montagna F、Simi G、Sorbi A（2015）《认真对待食人鱼》。公共非线性科学数字模拟21（1-3）：52-69·Zbl 1401.03110号 [135] Sergioli G、Ledda A、Paoli F、Giuntini R、Kowlaski T、Montagna F、Freytes H、Marini C（2009）《猜测秘密问题的两个合作版本》。《信息科学》179（20）：3645-3658·Zbl 1173.91300号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。