韦斯利·福斯纳;乔治·梅特卡夫 有限次直不可约代数的转移定理。 （英语） Zbl 07783365号 J.代数 640, 1-20 (2024).MSC公司：08Bxx年 XX年06月 03克xx PDF格式BibTeX公司 XML格式引用 \textit{W.Fussner}和\textit{G.Metcalfe}，J.代数640，1-20（2024；Zbl 07783365） 全文： 内政部 arXiv公司 OA许可证
乔治·梅特卡夫;卢卡·雷吉奥 泛代数类的模型完备：充要条件。 （英语） Zbl 1516.03011号 J.塞姆。日志。 88，编号1，381-417（2023）. 审核人：罗萨里奥·门努尼（比萨） MSC公司：03C10号机组 03C05号机组 03C40 03C64号 03B47号 05年6月 20层06 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}和\textit{L.Reggio}，J.Symb。日志。88，编号1，381--417（2023；Zbl 1516.03011） 全文： 内政部 arXiv公司 链接
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 线性框架上中间逻辑的单变量片段。 （英语） Zbl 07540277号 Inf.计算。 287，文章ID 104755，20 p.（2022）.MSC公司：03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人，《信息计算》。287，文章ID 104755，20 p.（2022；Zbl 07540277） 全文： 内政部 OA许可证
彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 格值逻辑的Skolemization和Herbrand定理。 （英语） Zbl 1472.03022号 西奥。计算。科学。 768, 54-75 (2019).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人，Theor。计算。科学。768，54-75（2019；Zbl 1472.03022） 全文： 内政部 链接
米歇尔·马蒂;乔治·梅特卡夫 基于链的模态逻辑中的表达性。 （英语） Zbl 1522.03056号 架构（architecture）。数学。逻辑 57，编号3-4，361-380（2018）.MSC公司：03B45号 03B50号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Marti}和\textit{G.Metcalfe}，拱门。数学。逻辑57，编号3--4，361--380（2018；Zbl 1522.03056） 全文： 内政部 链接
丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 实值模态逻辑。 （英语） Zbl 1459.03021号 日志。方法计算。科学。 14，第1号，第10号论文，27页（2018年）.MSC公司：03B45号 03B50号 2015年3月15日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛D.Diaconescu｝等人，日志。方法计算。科学。14，第1号，第10号论文，27页（2018；Zbl 1459.03021） 全文： 内政部 arXiv公司
乔治·梅特卡夫;君士坦丁·齐纳基斯 重新审视密度。 （英语） Zbl 1396.03060号 软计算。 21，第1期，175-189（2017）.MSC公司：03B52号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}和\textit{C.Tsinakis}，软计算。21，第1号，175--189（2017；Zbl 1396.03060） 全文： 内政部 链接
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 基于订单的模态逻辑的可判定性。 （英语） Zbl 1423.03056号 J.计算。系统。科学。 88, 53-74 (2017).MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人，《计算杂志》。系统。科学。88、53-74（2017；Zbl 1423.03056） 全文： 内政部 链接
恩里科·马尔基奥尼;乔治·梅特卡夫 半线性子结构逻辑的Craig插值。 （英语） Zbl 1273.03075号 数学。日志。问：。 58，第6期，468-481（2012）.MSC公司：03B47号 03C40 03G25号 6月30日 PDF格式BibTeX公司 XML格式引用 \textit{E.Marchioni}和\textit{G.Metcalfe}，数学。日志。问58，第6号，468--481（2012；Zbl 1273.03075） 全文： 内政部
蝉蜕、阿加塔;乔治·梅特卡夫;佛朗哥·蒙塔格纳 MTL及其扩展的真值压力因子的代数和证明理论特征。 （英语） Zbl 1190.03026号 模糊集系统。 161，第3期，369-389（2010）. 审核人：齐格弗里德·戈特瓦尔德（莱比锡） MSC公司：03B52号 03B45号 03B50号 03楼52 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人，《模糊集系统》。161，第3号，369--389（2010；Zbl 1190.03026） 全文： 内政部
Fermüller，Christian G。;乔治·梅特卡夫 贾尔斯博弈与Łukasiewicz逻辑的证明理论。 （英语） Zbl 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） 全文： 内政部 链接
阿加塔·西阿巴托尼;乔治·梅特卡夫 密度消除。 （英语） Zbl 1206.03027号 西奥。计算。科学。 403，编号2-3，328-346（2008）.MSC公司：03B52号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{G.Metcalfe}，Theor。计算。科学。403，编号2--3，328--346（2008；Zbl 1206.03027） 全文： 内政部
马提亚斯·巴兹;乔治·梅特卡夫 Herbrand定理和prenex模糊逻辑的Skolemization。 （英语） Zbl 1142.03340号 Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，22-31（2008）。MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{G.Metcalfe}，莱克特。注释计算。科学。5028、22-31（2008年；Zbl 1142.03340） 全文： 内政部
乔治·梅特卡夫;佛朗哥·蒙塔格纳 子结构模糊逻辑。 （英语） 兹伯利1139.03017 J.塞姆。日志。 72，第3期，834-864（2007）. 审核人：齐格弗里德·戈特瓦尔德（莱比锡） MSC公司：03B52号 03B50号 03B47号 03楼52 03G10年 PDF格式BibTeX公司 XML格式引用 \textit｛G.Metcalfe｝和\textit｛F.Montagna｝，J.Symb。日志。72，第3号，834--864（2007；Zbl 1139.03017） 全文： 内政部 欧几里得
Dov Gabbay公司;乔治·梅特卡夫 基于\（[0,1）\）-连续单形的模糊逻辑。 （英语） Zbl 1128.03015号 架构（architecture）。数学。逻辑 46，编号5-6，425-449（2007）. 审核人：米尔科·纳瓦拉（普拉哈） MSC公司：03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{G.Metcalfe}，拱门。数学。逻辑46，No.5--6，425--449（2007；Zbl 1128.03015） 全文： 内政部
彼得·辛图拉;乔治·梅特卡夫 模糊逻辑的范式：一种证明理论方法。 （英语） Zbl 1114.03016号 架构（architecture）。数学。逻辑 46，编号5-6，347-363（2007）.MSC公司：03B52号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{G.Metcalfe}，拱门。数学。逻辑46，编号5-6347-363（2007；Zbl 1114.03016） 全文： 内政部
乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 产品逻辑的分析计算。 （英语） Zbl 1066.03036号 架构（architecture）。数学。逻辑 43，第7号，859-889（2004）. 审核人：齐格弗里德·J·戈特瓦尔德（莱比锡） MSC公司：03B52号 03B50号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}等人，Arch。数学。逻辑43，No.7，859--889（2004；Zbl 1066.03036） 全文： 内政部