西尔维奥·吉拉尔迪;皮耶朗基罗·米利奥利 中间命题逻辑中的规范性和强完备性条件。 (英语) Zbl 0958.03017号 螺柱日志。 63,第3期,353-385(1999). 审核人:D.斯科沃尔佐夫(莫斯科) MSC公司:03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{P.Miglioli},研究日志。63,第3号,353--385(1999;Zbl 0958.03017) 全文: 内政部
西尔维奥·吉拉尔迪 规范命题中间逻辑的量化扩展。 (英语) Zbl 0769.03012号 螺柱日志。 51,第2期,195-214(1992). 审核人:T.Hosoi(野田佳彦/千叶) MSC公司:03B55号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi},螺柱日志。51,第2号,195--214(1992;Zbl 0769.03012) 全文: 内政部
西尔维奥·吉拉尔迪 不完整性导致Kripke语义。 (英语) Zbl 0745.03020号 J.塞姆。日志。 56,第2期,517-538(1991). 审核人:V.Shekhtman(莫斯科) MSC公司:03B55号 03B45号 03C90号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi},J.Symb。日志。56,编号2,517--538(1991;Zbl 0745.03020) 全文: 内政部
西尔维奥·吉拉尔迪 一些非经典一阶逻辑的前置语义和独立性结果。 (英语) Zbl 0691.03013号 架构(architecture)。数学。逻辑 29,第2期,125-136(1989). 审核人:S.吉拉尔迪 MSC公司:03B55号 03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi},拱门。数学。逻辑29,No.2,125--136(1989;Zbl 0691.03013) 全文: 内政部
吉拉尔迪,S。;梅洛尼,G.C。 中间逻辑的完整性。 (意大利语) Zbl 0617.03011号 Atti degli incri di logica matematica,第2卷,锡耶纳/意大利1983/84,613-620(1985)。MSC公司:03B55号 PDF格式BibTeX公司 XML格式