克里斯蒂安·弗缪勒;蒂莫·朗;亚历山大·巴夫洛娃 从真度比较游戏到哥德尔逻辑的解释序列计算。 （英语） Zbl 1500.03010号 日志。通用。 16，编号1-2，221-235（2022）. 审核人：埃斯科·图伦（坦佩雷） MSC公司：03B52号 03财年03 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{C.Fermüller}等人，Log。Univers大学。16，编号1--2，221--235（2022；Zbl 1500.03010） 全文： 内政部 OA许可证
马蒂亚·邦吉尼;蝉蜕、阿加塔;佛朗哥蒙塔尼亚 多值逻辑的证明搜索和co-NP完备性。 （英语） Zbl 1390.03023号 模糊集系统。 292, 130-149 (2016). 审核人：Albert Hoogewijs（根特） MSC公司：03B50号 03财年03 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bongini}等人，《模糊集系统》。292130--149（2016；Zbl 1390.03023） 全文： 内政部
卡洛斯·安索特吉;米克尔波菲尔;很多，费利普;马图·维拉雷特 具有可满足模理论求解器的多值逻辑自动定理证明器。 （英语） Zbl 1387.03007号 模糊集系统。 292, 32-48 (2016). 审核人：曼弗雷德·科伯（伯明翰） MSC公司：03B35型 03B50号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人，模糊集系统。292、32-48（2016年；Zbl 1387.03007） 全文： 内政部
埃丝特·安娜·科尔西;佛朗哥·蒙塔格纳 雷尼乌拉姆游戏和许多有价值的逻辑。 （英语） Zbl 1396.03042号 模糊集系统。 301, 37-50 (2016).MSC公司：03B50号 03B52号 05年6月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Corsi}和\textit{F.Montagna}，模糊集系统。301、37-50（2016；Zbl 1396.03042） 全文： 内政部
Fermüller，Christian G。;克里斯托夫·罗斯格 模糊语境语言模型和基于t范数的模糊逻辑之间的桥梁。 （英语） Zbl 1357.03058号 Montagna，Franco（编辑），Petr Hájek关于数学模糊逻辑。查姆：施普林格（ISBN 978-3-319-06232-7/hbk；978-3-3169-06233-4/电子书）。《逻辑6的杰出贡献》，91-114（2015）。MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}和\textit{C.Roschger}，Outst。控制日志。6、91——114（2015；Zbl 1357.03058） 全文： 内政部
蝉蜕、阿加塔;雷文莎·拉马纳亚克;海因里希·瓦辛 超连续和显示计算–统一的视角。 （英语） Zbl 1344.03043号 螺柱日志。 102，第6期，1245-1294（2014）.MSC公司：03财年03 05年3月 03B45号 03B20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ciabatoni｝等人，《螺柱日志》。102，编号61245-1294（2014；兹bl 1344.03043） 全文： 内政部
Fermüller，Christian G。;克里斯托夫·罗斯格 从游戏到真值函数：贾尔斯游戏的概括。 （英语） Zbl 1329.03060号 螺柱日志。 102，第2期，389-410（2014）.MSC公司：03B50号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}和\textit{C.Roschger}，Stud.Log。102，No.2，389--410（2014；Zbl 1329.03060） 全文： 内政部
蝉蜕、阿加塔;佛朗哥·蒙塔格纳 局部有限多值逻辑的证明理论：半投影逻辑。 （英语） Zbl 1322.03019号 西奥。计算。科学。 480, 26-42 (2013). 审核人：马特奥·比安奇（米兰） MSC公司：03B50号 03年3月 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{F.Montagna}，Theor。计算。科学。480，26-42（2013；Zbl 1322.03019） 全文： 内政部 OA许可证
托马索·弗拉米尼奥;Elisa B.P.Tiezzi。 关于度量时间Łukasiewicz逻辑。 （英语） Zbl 1348.03023号 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记24671-85（2009）。MSC公司：03B52号 03B40型 03B44号 03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{T.Flaminio}和\textit{E.B.P.Tiezzi}，电子。注释Theor。计算。科学。24671--85（2009年；Zbl 1348.03023） 全文： 内政部
Fermüller，Christian G。;乔治·梅特卡夫 贾尔斯的对策和Łukasiewicz逻辑的证明理论。 （英语） 兹比尔1185.03041 螺柱日志。 92，第1期，27-61页（2009年）. 审核人：Albert Hoogewijs（根特） MSC公司：03B50号 03B52号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}和\textit{G.Metcalfe}，Stud.Log。92，编号1，27--61（2009；Zbl 1185.03041） 全文： 内政部 链接
Fermüller，C.G。 多值逻辑对话游戏–概述。 （英语） Zbl 1174.03007号 螺柱日志。 90，第1号，43-68（2008）. 审核人：托马斯·维特莱恩（维也纳） MSC公司：03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}，研究日志。90，编号1，43--68（2008；Zbl 1174.03007） 全文： 内政部
D.加尔米奇。;萨利，Y。 为Łukasiewicz逻辑标记的calculi。 （英语） Zbl 1156.03024号 Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，194-207（2008）。MSC公司：03B50号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit｛D.Galmiche｝和\textit｛Y.Salhi｝，Lect。注释计算。科学。5110、194-207（2008；Zbl 1156.03024） 全文： 内政部
桑多·杰内;佛朗哥·蒙塔格纳 用于产品逻辑和取消篮球逻辑的Rényi-Ulam游戏语义。 （英语） Zbl 1136.03017号 Aguzzoli，Stefano（编辑）等，非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林：施普林格出版社（ISBN 978-3-540-75938-6/pbk）。计算机科学课堂讲稿4460。人工智能课堂讲稿，231-246（2007）。 审核人：Albert A.Mullin（麦迪逊） MSC公司：03B50号 03B52号 05年6月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Jenei}和\textit{F.Montagna}，莱克特。注释计算。科学。4460231--246（2007；Zbl 1136.03017） 全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling） Gödel-Dummett逻辑的基于图形的决策。 （英语） Zbl 1121.03021号 J.自动化。推理 38，编号1-3，201-225（2007）.MSC公司：03B35型 03年2月25日 03B55号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}，J.Autom。推理38，No.1--3，201-225（2007；Zbl 1121.03021） 全文： 内政部 哈尔
佛朗哥蒙塔尼亚;克劳迪奥·马里尼;朱利亚·西米 产品逻辑和概率乌拉姆游戏。 （英语） Zbl 1117.03028号 模糊集系统。 158，第6号，639-651（2007）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}等人，《模糊集系统》。158，第6号，639--651（2007；Zbl 1117.03028） 全文： 内政部