卡塔兹纳州帕阿辛斯卡 原代数(k)-演绎系统的特征。 (英语) Zbl 1459.03102号 Czelakowski,Janusz(编辑),Don Pigozzi,关于抽象代数逻辑、泛代数和计算机科学。查姆:斯普林格。Outst公司。控制日志。16, 257-271 (2018).MSC公司:03G27号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{K.Pałasiáska},Outst(输出)。控制日志。16、257--271(2018;Zbl 1459.03102) 全文: 内政部
詹姆斯·拉弗瑞。 代数逻辑中的不一致引理。 (英语) Zbl 1350.03051号 数学。日志。问:。 59,第6号,393-406(2013).MSC公司:03G27号 03B22号 03G25号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},数学。日志。问59,第6号,393--406(2013;Zbl 1350.03051) 全文: 内政部 链接
乔治·沃萨达基斯 分类星体代数逻辑:(pi)-机构的代数语义。 (英语) Zbl 1268.03085号 数学。日志。问:。 59,第3期,177-200(2013). 审核人:胡安·克莱门特·维达尔(瓦伦西亚) MSC公司:03G30型 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{G.Voutsadakis},数学。日志。问59,第3号,177--200(2013;Zbl 1268.03085) 全文: 内政部
J.G.拉弗瑞。 上下文演绎定理。 (英语) Zbl 1243.03014号 螺柱日志。 99,编号1-3,279-319(2011).MSC公司:03B22号 03G27号 03B47号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},研究日志。99,编号1--3,279--319(2011;Zbl 1243.03014) 全文: 内政部
Bou,费利克斯;翁贝托·里维奇奥 分配双参数的逻辑。 (英语) Zbl 1214.03056号 日志。J.IGPL公司 19,第1期,183-216(2011).MSC公司:03G27号 03B50号 03G10年 75年6月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bou}和\textit{U.Rivieccio},Log。J.IGPL 19,第1期,183--216(2011;Zbl 1214.03056) 全文: 内政部 链接
费利克斯·布;弗朗西斯科·埃斯特瓦;字体,Josep Maria;阿兰格尔·J·吉尔。;路易斯·戈多;安东尼·托伦斯;文图拉·弗杜 保留各种剩余格的真度的逻辑。 (英语) Zbl 1197.03023号 J.日志。计算。 19,第6期,1031-1069(2009); 更正同上,第22号,第361-665号(2012年)。MSC公司:03B50号 03B47号 03G27号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{F.Bou}等人,J.Log。计算。19,第6号,1031--1069(2009;Zbl 1197.03023) 全文: 内政部 arXiv公司
乔治·沃萨达基斯 范畴抽象代数逻辑:范畴Suszko算子。 (英语) Zbl 1134.03045号 数学。日志。问:。 53,第6号,616-635(2007). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:03G30型 18立方厘米 68号30 08C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Voutsadakis},数学。日志。问53,第6号,616--635(2007;Zbl 1134.03045) 全文: 内政部
J.G.拉弗瑞。 Gentzen和Hilbert系统之间的通信。 (英语) Zbl 1115.03095号 J.塞姆。日志。 71,第3期,903-957(2006). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03G99型 03B22号 07年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery},J.Symb。日志。71,第3号,903--957(2006;Zbl 1115.03095) 全文: 内政部
字体,Josep Maria;拉蒙·詹萨纳;唐·皮戈齐 关于演绎系统的全G-模型类的闭包性质。 (英语) Zbl 1106.03060号 螺柱日志。 83,编号1-3,215-278(2006).MSC公司:03克99 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Font}等人,螺柱日志。83,编号1--3,215--278(2006;Zbl 1106.03060) 全文: 内政部
卡塔兹纳州帕阿辛斯卡 滤子-分布原代数演绎系统和严格泛Horn类的有限基定理。 (英语) Zbl 1051.03013号 螺柱日志。 74,编号1-2,233-273(2003). 审核人:米洛斯·阿瓦·科·奥斯卡·加维耶诺维奇(波兹南) MSC公司:03B22号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Pałasiáska},研究日志。74,编号1--2,233--273(2003;Zbl 1051.03013) 全文: 内政部
布洛克,W.J。;雷巴利亚托,J。 演绎系统的代数语义。 (英语) Zbl 1049.03008号 螺柱日志。 74,编号1-2,153-180(2003). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:03B22号 03B47号 03G25号 08C15号 08年60月 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Blok}和\textit{J.Rebagliato},研究日志。74,编号1--2,153-180(2003;Zbl 1049.03008) 全文: 内政部
字体,Josep Maria;拉蒙·詹萨纳;唐·皮戈齐 充分充分的Gentzen系统和演绎定理。 (英语) Zbl 1004.03053号 众议员数学。逻辑 35, 115-165 (2001). 审核人:近藤敏郎(松井) MSC公司:03G99型 03B22号 03C05号机组 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Font}等人,代表数学。逻辑35,115--165(2001;Zbl 1004.03053)
阿兰格尔·J·吉尔。;乔尔迪·雷巴利亚托 原代数Gentzen系统和切割规则。 (英语) Zbl 0953.03064号 螺柱日志。 65,第1期,53-89(2000).MSC公司:05年3月 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{ali.J.Gil}和\textit{J.Rebagliato},Stud.Log。65,编号1,53--89(2000;Zbl 0953.03064) 全文: 内政部
阿列克谢·潘科(Alexej P.Pynko)。 多维逻辑的蕴涵系统。 (英语) Zbl 0947.03010号 众议员数学。逻辑 33, 11-27 (1999).MSC公司:03B22号 03G99型 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Pynko},代表数学。逻辑33,11--27(1999;Zbl 0947.03010)
Wim J.布洛克。;Don L.皮戈齐。 代数逻辑中的局部演绎定理。 (英语) Zbl 0751.03036号 代数逻辑。科洛克,布达普/挂。1988年,大学数学。János Bolyai协会54,75-109(1991)。MSC公司:03G99型 03B22号 03C05号机组 08C10号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Blok}和\textit{D.L.Pigozzi},《大学数学》。Soc.János Bolyai萨诺斯·博莱54,75-109(1991;Zbl 0751.03036)