韦斯利·福斯纳;尼古拉斯·加拉托斯 半锥幂等逻辑。一: 结构和局部演绎定理。 (英语) Zbl 07848927号 Ann.纯粹应用。逻辑 175,第7号,文章ID 103443,31 p.(2024)。MSC公司:03G10年 03B47号 03C40号 03C05号机组 05年6月 08B25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Fussner}和\textit{N.Galatos},Ann.Pure Appl。逻辑175,第7号,文章ID 103443,31页(2024;Zbl 07848927) 全文: 内政部
J.哈丁。;F.M.劳里德森。 Heyting代数的超麦克尼尔完备。 (英语) Zbl 1484.06034号 螺柱日志。 109,第5期,1119-1157(2021)。 审核人:基思·卡恩斯(博尔德) MSC公司:6月20日 06B23号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{J.Harding}和\textit{F.M.Lauridsen},研究日志。109,编号5119-1157(2021;兹bl 1484.06034) 全文: 内政部 arXiv公司
D.法齐奥。;莱达,A。;保利,F。 残余结构和正交模晶格。 (英语) Zbl 1487.03074号 螺柱日志。 109,编号6,1201-1239(2021)。 审核人:约瑟夫·特卡德莱克(普拉哈) MSC公司:03G12号机组 03D25号 06第15页 03G27号 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}等人,研究日志。109,编号6,1201--1239(2021;Zbl 1487.03074) 全文: 内政部 OA许可证
丸山义弘 纤维代数语义用于各种非经典一阶逻辑和拓扑逻辑翻译。 (英语) Zbl 1477.18011号 J.塞姆。日志。 86,编号3,1189-1213(2021)。 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 03G30型 03B47号 18天30分 PDF格式BibTeX公司 XML格式引用 \发短信{Y.Maruyama},J.Symb。日志。86,第3号,1189--1213(2021;Zbl 1477.18011) 全文: 内政部
蝉蜕、阿加塔;蒂莫·朗;雷文莎·拉马纳亚克 超连续逻辑的有界分析序列计算和嵌入。 (英语) Zbl 07415219号 J.塞姆。日志。 86,第2期,635-668(2021)。MSC公司:03财年03 07年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,J.Symb。日志。86,编号2,635--668(2021;Zbl 07415219) 全文: 内政部 OA许可证
JoséGil-Férez;卢卡·斯帕达;君士坦丁·齐纳基斯;周鸿军 偏序代数的联补。 (英语) Zbl 1484.06056号 Ann.纯粹应用。逻辑 171,第10号,文章ID 102842,33页(2020年)。MSC公司:05年6月 2015年1月6日 03G10年 03B47号 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gil-Férez}等人,Ann.Pure Appl。逻辑171,第10号,文章ID 102842,33页(2020;Zbl 1484.06056) 全文: 内政部 arXiv公司
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 (英语) Zbl 1494.03069号 螺柱日志。 107,第247-282号(2019)。MSC公司:03B55号 05年3月 03财年03 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen},研究日志。107,第2号,247--282(2019;Zbl 1494.03069) 全文: 内政部 OA许可证
川崎捷瑞 无参数二阶逻辑的MacNeille完备和Buchholz规则。 (英语) Zbl 1528.03236号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第37条,第19页(2018年)。MSC公司:05年3月 06B23号 03B16号 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{K.Terui},LIPIcs——莱布尼茨国际程序。通知。119,第37条,第19页(2018;Zbl 1528.03236) 全文: 内政部 arXiv公司
保罗·巴尔迪;川崎捷瑞 通过残差框架实现FL链的致密化。 (英语) Zbl 1469.03068号 代数大学。 75,第2期,169-195(2016)。MSC公司:03B52号 03B47号 03G10年 03G25号 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldi}和\textit{K.Terui},代数大学。75,第2号,169--195(2016;Zbl 1469.03068) 全文: 内政部 OA许可证
蝉蜕、阿加塔;雷文莎·拉马纳亚克;海因里希·瓦辛 超连续和显示计算–统一的视角。 (英语) Zbl 1344.03043号 螺柱日志。 102,第6期,1245-1294(2014)。MSC公司:03年3月 05年3月 03B45号 03B20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,研究日志。102、6号、1245--1294(2014;Zbl 1344.03043) 全文: 内政部