加布里埃尔·普尔奇尼 通过拧松螺纹消除切口。 (英语) Zbl 07790938号 架构(architecture)。数学。逻辑 63,编号1-2,211-223(2024).MSC公司:03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Pulcini},拱门。数学。逻辑63,编号1--2,211-223(2024;Zbl 07790938) 全文: 内政部 OA许可证
加布里埃尔·普尔奇尼 经典命题逻辑的删减注记。 (英语) Zbl 1506.03121号 架构(architecture)。数学。逻辑 61,编号3-4,555-565(2022). 审核人:安妮卡·坎科斯(赫尔辛基) MSC公司:05年3月 03英镑05 PDF格式BibTeX公司 XML格式引用 \textit{G.Pulcini},拱门。数学。逻辑61,编号3--4,555--565(2022;Zbl 1506.03121) 全文: 内政部
贾恩·科马拉 有效消除\(\text{LK}^\text{h}\)中的Skolem函数。 (英语) Zbl 1506.03120号 架构(architecture)。数学。逻辑 61,编号3-4,503-534(2022). 审核人:安妮卡·坎科斯(赫尔辛基) MSC公司:05年3月 20层03 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{J.Komara},拱门。数学。逻辑61,编号3--4,503--534(2022;Zbl 1506.03120) 全文: 内政部 arXiv公司
乔昂·阿劳乔;Janusz Konieczny公司 一种为半群类寻找新公理集的方法。 (英语) Zbl 1262.20059号 架构(architecture)。数学。逻辑 51,第5-6号,461-474(2012). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:2007年7月20日 20号02 20A05年 08B05号 20毫米 08A02号 03C05号机组 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}和\textit{J.Konieczny},Arch。数学。逻辑51,No.5--6,461--474(2012;Zbl 1262.20059) 全文: 内政部 链接
奥拉夫·拜尔斯多夫;阿恩·梅尔;塞巴斯蒂安·米勒;迈克尔·托马斯;赫里贝特·沃尔默 命题缺省逻辑的证明复杂性。 (英语) Zbl 1308.03057号 架构(architecture)。数学。逻辑 50,编号7-8,727-742(2011). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:20层03 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,Arch。数学。逻辑50,编号7--8,727--742(2011;Zbl 1308.03057) 全文: 内政部 链接
皮埃尔路易吉·米纳里 (lambda)演算的分析证明系统:及物性的消除及其重要性。 (英语) Zbl 1117.03020号 架构(architecture)。数学。逻辑 46,编号5-6,385-424(2007). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B40型 03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Minari},拱门。数学。逻辑46,No.5--6385--424(2007;Zbl 1117.03020) 全文: 内政部