Bellè,多雷拉;佛朗哥·帕拉米奥 弱成员理论中的不确定性。 (英语) Zbl 0858.03014号 Ursini,Aldo(编辑)等人,《逻辑与代数》。纪念罗伯托·马加里国际会议记录,1994年4月26日至30日,意大利蓬蒂尼亚诺。纽约州纽约市:马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 327-337 (1996). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellè}和\textit{F.Parlamento},莱克特。Notes纯应用。数学。180、327--337(1996年;Zbl 0858.03014)
Bellè,多雷拉;佛朗哥·帕拉米奥 在隶属度理论NWL中,(存在于所有^*)类的可决定性。 (英语) Zbl 0858.03015号 Hájek,Petr(编辑),哥德尔’96。数学、计算机科学和物理的逻辑基础——库尔特·哥德尔的遗产。会议记录,布尔诺,捷克共和国,1996年8月。柏林:Springer-Verlag。莱克特。注释日志。6, 183-194 (1996). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellè}和\textit{F.Parlamento},莱克特。注释日志。6183--194(1996;Zbl 0858.03015)
尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;佛朗哥·帕拉米奥;阿尔贝托,Policriti 在隶属度理论中,所有句子都存在^*的可判定性。 (英语) Zbl 0836.03011号 数学。日志。问:。 42,第1期,41-58(1996).MSC公司:03B25号 03E30年 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人,数学。日志。问题42,第1号,41-58(1996年;Zbl 0836.03011) 全文: 内政部 链接
F.帕拉米托。;Policriti,A。 集合论中受限制的普遍量化公式的不确定性结果。 (英语) Zbl 0797.03005号 Commun公司。纯应用程序。数学。 46,第1期,57-73(1993).MSC公司:03B25号 1999年3月 03天35分 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},Commun。纯应用程序。数学。46,编号1,57--73(1993;Zbl 0797.03005) 全文: 内政部
尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;佛朗哥·帕拉米奥;阿尔贝托,Policriti 在抽象集上计算(varepsilon)表达式的派生算法。 (英语) Zbl 0796.03009号 J.塞姆。计算。 15,编号5-6,673-704(1993).MSC公司:03B25号 03E30年 03B35型 03B70号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人,J.Symb。计算。15,编号5--6,673--704(1993;Zbl 0796.03009) 全文: 内政部
佛朗哥·帕拉米奥;阿尔贝托,Policriti 集合论中有限制的泛量化的决策问题和基础公理。 (英语) Zbl 0794.03016号 Z.数学。Logik Grundlagen数学。 38,第2期,143-156(1992). 审核人:F.帕拉米奥 MSC公司:03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},Z.数学。Logik Grundlagen数学。38,第2号,143--156(1992;Zbl 0794.03016) 全文: 内政部
佛朗哥·帕拉米奥;阿尔贝托,Policriti 集合论基本子语言的决策程序:XIII。模型图、反射和可判定性。 (英语) Zbl 0734.03006号 J.汽车。推理 7,第2期,271-284(1991).MSC公司:03B25号 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},J.Autom。推理7,No.2,271--284(1991;Zbl 0734.03006) 全文: 内政部