吉安卢卡·格里莱蒂;戴维德·埃米利奥·夸德雷拉罗 正则Heyting代数的Esakia对偶。 (英语) Zbl 07783202号 代数大学。 85,第1号,第5号论文,33页(2024年).MSC公司:06D20日 03C05号机组 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Grilletti}和\textit{D.E.Quadrellaro},代数大学。85,第1号,第5号论文,33页(2024;Zbl 07783202) 全文: 内政部 arXiv公司 OA许可证
藤原真本;石原、Hajime;内莫托、高子;铃木,Nobu-Yuki;Keita横山 逻辑原理的扩展框架和分隔。 (英语) Zbl 07749829号 牛市。符号。日志。 第311-353号29页(2023年).MSC公司:03楼50 03B55号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}等人,公牛。符号。日志。29,第3号,311--353(2023;Zbl 07749829) 全文: 内政部
格里戈里·奥尔霍维科夫;吉列尔莫·巴迪亚;赖哈·佐吉法德 直觉主义一阶逻辑的Lindström定理。 (英语) Zbl 07741122号 Ann.纯粹应用。逻辑 174,第10号,文章ID 103346,53页(2023).MSC公司:03B20型 03C95号 03B55号 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{G.Olkhovikov}等人,Ann.纯应用。逻辑174,第10号,文章ID 103346,53页(2023;Zbl 07741122) 全文: 内政部 arXiv公司
尼古拉斯·皮斯克 关于中间证明逻辑。 (英语) Zbl 1515.03129号 日志。J.IGPL公司 31,第3期,534-573(2023).MSC公司:03B55号 03B42型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Pischke},日志。J.IGPL 31,第3号,534--573(2023年;Zbl 1515.03129) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;卢卡·卡莱 一元直觉量词的时间解释。 (英语) Zbl 1518.03003号 版本符号。日志。 16,第1期,164-187(2023). 审核人:格里戈里·奥尔霍维科夫(波鸿) MSC公司:03B44号 03B45号 03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{L.Carai},Rev.Symb。日志。16,编号1,164--187(2023;Zbl 1518.03003) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;克里斯蒂娜·布兰特利;朱莉娅·伊林 一元直觉主义和模态逻辑承认可证明性解释。 (英语) Zbl 07657288号 J.塞姆。日志。 88,编号1,427-467(2023).MSC公司:03B45号 03层45 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。88,编号1,427--467(2023;Zbl 07657288) 全文: 内政部 arXiv公司
埃米尔·杰瓦贝克 关于有界分支逻辑的证明复杂性。 (英语) Zbl 1516.03022号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103181,54 p.(2023). 审核人:Ariel Germanán Fernández(布宜诺斯艾利斯) MSC公司:20层03 03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},Ann.纯苹果。逻辑174,第1号,文章ID 103181,54页(2023;Zbl 1516.03022) 全文: 内政部 arXiv公司
亚当·戴,萨姆;尼克·贝扎尼什维利;Gabelaia,大卫;文森佐·马拉 凸多面体的中间逻辑。 arXiv:2307.16600 预打印,arXiv:2307.16600[math.LO](2023)。MSC公司:03B55号 52个B05 06A07年 03B45号 06D20日 BibTeX公司 引用 \textit{S.Adam-Day}等人,“凸多面体的中间逻辑”,预印本,arXiv:2307.16600[math.LO](2023) 全文: arXiv公司 OA许可证
铃木,Nobu-Yuki 直觉主义逻辑谓词扩展的析取和存在性质的注记——Jankov公式在谓词逻辑中的应用。 (英语) Zbl 07672621号 亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:施普林格。Outst公司。控制日志。24, 221-244 (2022).MSC公司:03B55号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木},Outst。控制日志。24、221--244(2022;Zbl 07672621) 全文: 内政部
阿列克谢·穆拉维茨基 晶格NExtS41由NExtInt及其以外的复制品组成。 (英语) Zbl 07672619号 亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:施普林格。Outst公司。控制日志。24, 177-207 (2022).MSC公司:03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.穆拉维茨基},Outst。控制日志。24、177-207(2022;Zbl 07672619) 全文: 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利 中间逻辑的扬科夫公式和公理化技术。 (英语) Zbl 07672616号 亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:施普林格。Outst公司。控制日志。24, 71-124 (2022).MSC公司:03B55号 06D20日 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{N.Bezhanishvili},Outst。控制日志。24、71——124(2022年;Zbl 07672616) 全文: 内政部
亚历克斯·西特金 扬科夫对命题逻辑的贡献。 (英语) Zbl 07672614号 Citkin,Alex(ed.)等人,V.A.Yankov关于非经典逻辑、数学历史和哲学。查姆:施普林格。Outst公司。控制日志。24, 7-52 (2022).MSC公司:03B55号 06D20日 75年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},Outst(输出)。控制日志。24,7--52(2022;Zbl 07672614) 全文: 内政部
王浩宇;王燕京;王云松 张量析取的认知解释。 (英语) Zbl 07668123号 Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。719-739(2022年)。MSC公司:03B42型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人,in:模态逻辑的进展。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。719--739(2022年;Zbl 07668123) 全文: arXiv公司
吉安卢卡·格里莱蒂 梅德韦杰夫逻辑是没有顶层元素的有限分配格的逻辑。 (英语) Zbl 07668110号 Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第14届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。451-466 (2022).MSC公司:03B55号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Grilletti},in:模态逻辑的进展。第14卷。第14届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。451--466(2022;Zbl 07668110)
蝉蜕、阿加塔;卢茨斯特拉汉堡;泰西,马蒂奥 用嵌套序列驯服有界深度。 (英语) Zbl 07668098号 Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。199-216 (2022).MSC公司:05年3月 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,in:模态逻辑的进展。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。199-216(2022;Zbl 07668098)
古拉姆·贝扎尼什维利;Gabelaia,大卫;马穆卡·吉卜拉泽 各种双Heyting代数的Kuznetsov问题的负解。 (英语) Zbl 07632520号 数学杂志。日志。 22,第3号,文章ID 2250013,21 p.(2022).MSC公司:03B55号 06D20日 18楼70 03B45号 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Math。日志。22,第3号,文章ID 2250013,21 p.(2022;Zbl 07632520) 全文: 内政部 arXiv公司
托马索·莫拉希尼 关于方程完备性定理。 (英语) 兹比尔07620699 J.塞姆。日志。 87,第4期,1522-1575(2022).MSC公司:03G27号 08B05号 03B55号 03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \文本{T.Moraschini},J.Symb。日志。87,第4号,1522--1575(2022;Zbl 07620699) 全文: 内政部 arXiv公司
尼克·贝扎尼什维利;吉安卢卡·格里莱蒂;戴维德·埃米利奥·夸德雷拉罗 探究逻辑和(mathtt{DNA})逻辑的代数方法。 (英语) Zbl 07613699号 版本符号。日志。 15,第4号,950-990(2022).MSC公司:03B55号 03B60号 06D20日 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Rev.Symb。日志。15,编号4,950-990(2022;Zbl 07613699) 全文: 内政部
王浩宇;王燕京;王云松 探究逻辑是一种关于如何知道的认识逻辑。 (英语) Zbl 07587332号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103145,29 p.(2022).MSC公司:03B55号 03B45号 03B42型 03B20型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人,Ann.Pure Appl。逻辑173,第10号,文章ID 103145,29页(2022;Zbl 07587332) 全文: 内政部 arXiv公司
戴维德·埃米利奥·夸德雷拉罗 关于中间询问逻辑和依赖逻辑:一项代数研究。 (英语) Zbl 07587331号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103143,43 p.(2022).MSC公司:03B60号 03B55号 03C05号机组 03G10年 06D20日 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Quadrellaro},Ann.纯粹应用。逻辑173,第10号,文章ID 103143,43页(2022;Zbl 07587331) 全文: 内政部 arXiv公司
耶鲁大学维斯 纯关联蕴涵理论的语义学。 (英语) Zbl 07576536号 版本符号。日志。 第3期第15页,第591-606页(2022).MSC公司:03B60号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Weiss},版本符号。日志。15,编号3,591--606(2022;Zbl 07576536) 全文: 内政部
吉安卢卡·格里莱蒂;戴维德·埃米利奥·夸德雷拉罗 通过Ruitenburg定理建立中间理论的格。 (英语) Zbl 07570785号 奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13206, 297-322 (2022).MSC公司:03B55号 03B20型 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{G.Grilletti}和\textit{D.E.Quadrellaro},莱克特。注释计算。科学。13206297-322(2022年;兹bl 07570785) 全文: 内政部 arXiv公司
伊万诺·齐亚德利;吉安卢卡·格里莱蒂 好奇的一阶逻辑中的一致性。 (英语) Zbl 07566289号 Ann.纯粹应用。逻辑 173,第9期,文章ID 103155,39 p.(2022).MSC公司:03B45号 03B55号 03B60号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli}和\textit{G.Grilletti},Ann.纯粹应用。逻辑173,第9号,文章ID 103155,39页(2022;Zbl 07566289) 全文: 内政部
马提亚斯·巴兹;理查德·扎克 中间逻辑中的Epsilon定理。 (英语) Zbl 07541918号 J.塞姆。日志。 87,第2号,682-720(2022).MSC公司:05年3月 03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{R.Zach},J.Symb。日志。87,第2号,682--720(2022;Zbl 07541918) 全文: 内政部 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) 全文: 内政部
沃伊切赫Dzik;科斯特,萨沃米尔;彼得·沃伊泰拉克 以局部表格模态逻辑为特征的财务统一。 (英语) Zbl 07483254号 Ann.纯粹应用。逻辑 173,第4期,文章ID 103072,39页(2022).MSC公司:03B45号 68T27型 03B55号 06E25年 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{W.Dzik}等人,Ann.Pure Appl。逻辑173,第4号,文章ID 103072,39页(2022;Zbl 07483254) 全文: 内政部
尼克·贝扎尼什维利;杨,范 团队语义设置中的中间逻辑。 arXiv:2209.10039 预打印,arXiv:2209.10039[math.LO](2022)。MSC公司:03B55号 03B60号 BibTeX公司 引用 \textit{N.Bezhanishvili}和\textit{F.Yang},“团队语义设置中的中间逻辑”,预打印,arXiv:2209.10039[math.LO](2022) 全文: arXiv公司 OA许可证
罗莎莉,伊姆霍夫 Lax逻辑的证明理论。 arXiv公司:2209.08976 预打印,arXiv:2209.08976[math.LO](2022)。MSC公司:05年3月 03B20型 03B45号 03B55号 03B70号 BibTeX公司 引用 \textit{R.Iemhoff},“Lax逻辑的证明理论”,预印本,arXiv:2209.08976[math.LO](2022) 全文: arXiv公司 OA许可证
大卫·法齐奥;加文街约翰。 亚结构逻辑中的关联含义。 arXiv:2209.02830 预印本,arXiv:2209.02830[math.LO](2022)。MSC公司:03B47号 03B55号 03A10号 BibTeX公司 引用 \textit{D.Fazio}和\textit{G.St.John},“亚结构逻辑中的连接含义”,预印本,arXiv:2209.02830[math.LO](2022) 全文: 内政部 arXiv公司 OA许可证
尼克·贝扎尼什维利;安东尼奥·玛丽亚·克利尼 通过稳定规范规则进行翻译嵌入。 arXiv公司:2206.08863 预打印,arXiv:2206.08863[math.LO](2022)。MSC公司:03B45号 03B55号 03B60号 03B44号 03层45 BibTeX公司 引用 \textit{N.Bezhanishvili}和\textit{A.M.Cleani},“通过稳定规范规则的翻译嵌入”,预打印,arXiv:2206.08863[math.LO](2022) 全文: arXiv公司 OA许可证
W.Dzik。;科斯特,S。;沃伊泰拉克,P。 中间逻辑中的统一类型和联合分裂。 arXiv公司:2205.10644 预打印,arXiv:2205.10644[math.LO](2022)。MSC公司:03B45号 68T27型 03B55号 06E25年 06D20日 BibTeX公司 引用 \textit{W.Dzik}等人,“中间逻辑中的统一类型和并集分割”,预打印,arXiv:2205.10644[math.LO](2022) 全文: arXiv公司 OA许可证
杰玛·罗伯斯;何塞·梅恩德斯。 关于Gödel-dummet逻辑LC的注记。 (英语) Zbl 07682100号 牛市。第节。日志。,大学后勤部。 50,编号3,325-335(2021).MSC公司:03B50号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}和\textit{J.M.Méndez},公牛。第节。日志。,大学后勤部。50,编号3,325--335(2021;Zbl 07682100) 全文: 内政部
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;弗朗西斯科·埃斯特瓦;琼·吉斯佩特;路易斯·戈多 具有对合性的度保护哥德尔逻辑:中间逻辑和(理想)副一致性。 (英语) Zbl 1495.03039号 Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:施普林格。Outst公司。控制日志。21, 107-139 (2021).MSC公司:03B52号 03B55号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}等人,Outst。控制日志。21、107——139(2021年;Zbl 1495.03039) 全文: 内政部
G.贝扎尼什维利。;北贝扎尼什维利。;T·莫拉希尼。;斯特龙科斯基,M。 Heyting代数谱的完备性和表示性。 (英语) Zbl 07408029号 高级数学。 391,文章ID 107959,47 p.(2021).MSC公司:06D20日 30楼06号 2015年6月 03B55号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,高级数学。391,文章ID 107959,47 p.(2021;Zbl 07408029) 全文: 内政部 arXiv公司
罗莎莉,伊姆霍夫;罗伯特·帕斯曼 直觉主义Kripke-Platek集合理论的逻辑学。 (英语) Zbl 1491.03079号 Ann.纯粹应用。逻辑 172,第10号,文章ID 103014,22 p.(2021). 审核人:彼得·舒斯特(维罗纳) MSC公司:03楼50 03E70型 03楼55 03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff}和\textit{R.Passmann},Ann.Pure Appl。逻辑172,第10号,文章ID 103014,22页(2021;Zbl 1491.03079) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 局部紧序空间的McKinsey-Tarski定理。 (英语) Zbl 1483.54016号 牛市。符号。日志。 27,第2期,187-211(2021). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:54个F05 54D45号 03B45号 54国集团12 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,公牛。符号。日志。27,第2号,187--211(2021;Zbl 1483.54016) 全文: 内政部
Löwe,Benedikt公司;罗伯特·帕曼;塔拉福德,苏拉夫 构建集合论的非Yal代数值模型。 (英语) Zbl 07382710号 代数大学。 82,第3号,第46号论文,第19页(2021年).MSC公司:03E70型 03E40型 03B55号 03B20型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{B.Löwe}等人,《代数大学》。82,第3号,第46号论文,第19页(2021;Zbl 07382710) 全文: 内政部
耶鲁大学维斯 半格语义的重新解释及其应用。 (英语) Zbl 1491.03019号 日志。Univers大学。 第2期第15页,171-191(2021). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B47号 2012年1月6日 03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Weiss},日志。Univers大学。15,第2号,171--191(2021;Zbl 1491.03019) 全文: 内政部
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性的决定:关于弗里德曼的一个问题及其Rybakov的解决方案。 (英语) Zbl 07379165号 牛市。符号。日志。 27,第1期,1-38页(2021年).MSC公司:03B20型 03B22号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},公牛。符号。日志。27,编号1,1--38(2021;Zbl 07379165) 全文: 内政部
Moraschini,T。;J.G.拉弗瑞。;J.J.Wannenburg。 各种亚幂等剩余结构中的同态。 (英语) Zbl 1498.03055号 代数大学。 82,第1号,第6号论文,第26页(2021年).MSC公司:03B47号 03G25号 05年6月 03B55号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}等人,代数大学。82,第1号,第6号论文,第26页(2021年;Zbl 1498.03055) 全文: 内政部 arXiv公司
亚当·戴,萨姆;尼克·贝扎尼什维利;大卫·加伯里亚;文森佐·马拉 中间逻辑的多面体完备性:神经准则。 arXiv公司:2112.07518 预打印,arXiv:2112.07518[math.LO](2021)。MSC公司:03B55号 52个B05 06A07年 03B45号 06D20日 BibTeX公司 引用 \textit{S.Adam-Day}等人,“中间逻辑的多面体完备性:神经准则”,预印本,arXiv:2112.07518[math.LO](2021) 全文: arXiv公司 OA许可证
Takuma Imamura;松本淑亚;信·夸瓦伊 中间谓词逻辑的超序列演算。 arXiv公司:2109.09591 预打印,arXiv:2109.09591[math.LO](2021)。MSC公司:03B55号 03财年03 68问题85 BibTeX公司 引用 \textit{T.Imamura}等人,“中间谓词逻辑的超序贯演算”,预印本,arXiv:2109.09591[math.LO](2021) 全文: arXiv公司 OA许可证
Inoué,高尾 如何创建新逻辑。 arXiv公司:2108.05934 预打印,arXiv:2108.05934[math.LO](2021)。MSC公司:03B20型 03B47号 03B53号 03B55号 03B60号 BibTeX公司 引用 \textit{T.Inoué},“如何创建新逻辑”,预打印,arXiv:2108.05934[math.LO](2021) 全文: arXiv公司 OA许可证
托马索·莫拉希尼;詹姆斯·拉弗瑞。;Johann J.Wannenburg。 单生成拟变种和剩余结构。 (英语) Zbl 1521.08003号 数学。日志。问:。 66,编号2,150-172(2020).MSC公司:08C15号 03B47号 03B55号 03G25号 06D20日 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}等人,《数学》。日志。问66,第2号,150--172(2020;Zbl 1521.08003) 全文: 内政部 arXiv公司
T·莫拉希尼。;J.J.Wannenburg。 各种Heyting代数的上同态满射性。 (英语) Zbl 1457.03055号 Ann.纯粹应用。逻辑 171,第9号,文章ID 102824,第30页(2020). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B55号 06D20日 18A20型 06年50月 03G27号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}和\textit{J.Wannenburg},Ann.Pure Appl。逻辑171,第9号,文章ID 102824,30页(2020;Zbl 1457.03055) 全文: 内政部 arXiv公司
亚历克斯·奇特金 遗传结构完整的正向逻辑。 (英语) Zbl 1485.03062号 版本符号。日志。 13,第3期,483-502(2020年).MSC公司:03B55号 03B60号 06D20日 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},西蒙牧师。日志。13,第3号,483--502(2020;Zbl 1485.03062) 全文: 内政部
费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 关于中间逻辑的并发计算内容。 (英语) Zbl 1433.68229号 西奥。计算。科学。 813, 375-409 (2020).MSC公司:68问题85 03B40型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri}等人,Theor。计算。科学。813375--409(2020年;Zbl 1433.68229) 全文: 内政部
亚历克斯·西特金 具有多重结论规则和析取性质的演绎系统。 (英语) 兹比尔1432.03041 公理 8,第3号,第100号论文,23页(2019年).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},《公理8》,第3期,第100号论文,第23页(2019年;Zbl 1432.03041) 全文: 内政部
马吉德·阿里扎德;阿里·比巴克 直觉逻辑中稳定公式的注记。 (英语) Zbl 1453.03001号 日志。日志。菲洛斯。 28,第2期,209-222(2019). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alizadeh}和\textit{A.Bibak},日志。日志。菲洛斯。28,第2号,209--222(2019;Zbl 1453.03001) 全文: 内政部
罗莎莉,伊姆霍夫 一致插值和连续结石的存在。 (英语) Zbl 1475.03078号 Ann.纯粹应用。逻辑 170,第11号,文章ID 102711,33 p.(2019). 审核人:Emil Jeřábek(普拉哈) MSC公司:03B45号 03B55号 03B20型 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff},Ann.纯应用。逻辑170,第11号,文章ID 102711,33页(2019年;Zbl 1475.03078) 全文: 内政部 链接
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 (英语) Zbl 1494.03069号 螺柱日志。 107,第2期,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) 全文: 内政部
沃伊切赫·Dzik;彼得·沃伊泰拉克 超直觉谓词逻辑中的统一及其应用。 (英语) Zbl 07063881号 版本符号。日志。 12,第1号,37-61(2019).MSC公司:03B55号 03B20型 03B35型 03B45号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Dzik}和\textit{P.Wojtylak},版本Symb。日志。12,编号1,37-61(2019;Zbl 07063881) 全文: 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 关于由分散的局部紧Hausdorff空间产生的模态逻辑。 (英语) Zbl 1472.03015号 Ann.纯粹应用。逻辑 170,第5号,558-577(2019).MSC公司:03B45号 03B55号 2015年6月 54D45号 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Ann.Pure Appl。逻辑170,No.5,558--577(2019;Zbl 1472.03015) 全文: 内政部 链接
马提亚斯·巴兹;Preining,诺伯特 关于一阶哥德尔逻辑的分类。 (英语) Zbl 1445.03034号 Ann.纯粹应用。逻辑 170,第1期,第36-57页(2019年). 审核人:Albert Hoogewijs(性别) MSC公司:03B50号 03B52号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{N.Preining},Ann.Pure Appl。逻辑170,编号1,36-57(2019;Zbl 1445.03034) 全文: 内政部
安德里亚·康多鲁西;马提奥意大利面 直觉主义逻辑厨房中可接受的工具。 (英语) 兹比尔1525.03049 Berardi,Stefano(ed.)等人,《第七届经典逻辑与计算国际研讨会论文集》,CL&C 2018,英国牛津,2018年7月7日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)281,10-23(2018)。MSC公司:03B20型 03B40型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Condoluci}和\textit{M.Manighetti},电子。程序。西奥。计算。科学。(EPTCS)281,10--23(2018;Zbl 1525.03049) 全文: arXiv公司 链接
阿列克谢·穆拉维茨基 从嵌入定理的观点来看,格NExtS4。 (英语) Zbl 1429.03085号 Odintsov,Sergei(编辑),Larisa Maksimova关于蕴涵、插值和可定义性。查姆:施普林格。Outst公司。控制日志。15, 185-218 (2018).MSC公司:03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.穆拉维茨基},Outst。控制日志。15、185--218(2018;Zbl 1429.03085) 全文: 内政部
亚历克斯·奇特金 Maksimova分离性质判据的推广。 (英语) Zbl 1429.03111号 Odintsov,Sergei(编辑),Larisa Maksimova关于蕴涵、插值和可定义性。查姆:施普林格。Outst公司。控制日志。15, 99-115 (2018).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},Outst(输出)。控制日志。15、99——115(2018;Zbl 1429.03111) 全文: 内政部
亚历克斯·西特金 中间逻辑上的特征公式。 (英语) Zbl 1429.03110号 Odintsov,Sergei(编辑),Larisa Maksimova关于蕴涵、插值和可定义性。查姆:施普林格。Outst公司。控制日志。15, 71-98 (2018).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},Outst(输出)。控制日志。15、71——98(2018年;Zbl 1429.03110) 全文: 内政部 arXiv公司
德米特里·斯科沃尔佐夫 关于具有常数域的有限高度Kripke框架的超直觉谓词逻辑的一点注记:一个更简单的非强完备Kripke-完备逻辑。 (英语) Zbl 1418.03132号 Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。577-590 (2018).MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},in:模态逻辑的进展。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。577--590(2018;Zbl 1418.03132)
罗马库兹涅茨;比约恩·莱尔曼 通过超线性嵌套序列对中间逻辑进行插值。 (英语) 兹比尔1418.03130 Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。473-492 (2018).MSC公司:03B55号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuznets}和\textit{B.Lellmann},in:模态逻辑的进展。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。473--492(2018;Zbl 1418.03130)
克雷格·格雷厄姆·麦凯 关于负析取性质。 (英语) Zbl 1455.03035号 澳大利亚。J.日志。 15,第1号,19-24(2018).MSC公司:03B55号 03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.G.McKay},澳大利亚。J.日志。15、1号、19--24(2018;Zbl 1455.03035) 全文: 内政部
马克西莫娃,L.L。;云,V.F。 最小逻辑的扩展和插值问题。 (英语。俄文原件) Zbl 1469.03078号 兄弟姐妹。数学。J。 59,第4号,681-693(2018);来自Sib的翻译。材料Zh。59,第4期,863-878(2018)。MSC公司:03B53号 03C40号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}和\textit{V.F.Yun},Sib。数学。J.59,第4号,681--693(2018;Zbl 1469.03078);来自Sib的翻译。材料Zh。59,第4号,863--878(2018) 全文: 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;朱莉娅·伊林 稳定模态逻辑。 (英语) Zbl 1522.03048号 版本符号。日志。 11,第3期,436-469(2018).MSC公司:03B45号 03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Rev.Symb。日志。11,第3号,436--469(2018;Zbl 1522.03048) 全文: 内政部
亚历克斯·西特金 遗传结构完备的超直觉演绎系统。 (英语) Zbl 1439.03067号 螺柱日志。 106,第4期,827-856(2018). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},螺柱日志。106,第4号,827--856(2018;Zbl 1439.03067) 全文: 内政部 arXiv公司
杰伦·古德米特(Jeroen P.Goudsmit)。 \(\mathsf的容许规则{BD}_2\)和\(\mathsf{GSc}\)。 (英语) Zbl 1455.03034号 圣母院J.形式逻辑 59,第3期,325-353(2018).MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},圣母院J.形式逻辑59,第3期,325--353(2018;Zbl 1455.03034) 全文: 内政部 欧几里得
尼克·贝扎尼什维利;迪克·德·乔恩 直觉逻辑中的稳定公式。 (英语) Zbl 1456.03052号 圣母院J.形式逻辑 59,第3号,307-324(2018).MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{D.de Jongh},圣母院J.形式逻辑59,No.3,307--324(2018;Zbl 1456.03052) 全文: 内政部 欧几里得 链接
蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 超序列和规则、嵌入和应用系统。 (英语) Zbl 1407.03066号 ACM事务处理。计算。日志。 第19条第2款第11条第27页(2018年).MSC公司:03财年03 07年3月 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{F.A.Genco},ACM翻译。计算。日志。19,第2号,第11条,第27页(2018;Zbl 1407.03066) 全文: 内政部 arXiv公司
横滨,Kyohei Gabbay-de Jongh逻辑的一个可分离公理化。 (英语) Zbl 1405.03070号 日志。J.IGPL公司 25,第3号,365-380(2017).MSC公司:03B55号 03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Yokomizo},日志。J.IGPL 25,第3号,365-380(2017;Zbl 1405.03070) 全文: 内政部
铃木,Nobu-Yuki 中间谓词逻辑中存在性和析取性的一些弱变体。 (英语) Zbl 1423.03108号 牛市。第节。日志。,大学后勤部。 46,编号1-2,93-109(2017).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木},公牛。第节。日志。,大学后勤部。46,编号1--2,93-109(2017;Zbl 1423.03108) 全文: 内政部
尼克·贝扎尼什维利;西尔维奥·吉拉尔迪;弗雷德里克·莫勒斯特罗姆·劳里德森 一步Heyting代数和具有有界证明性质的超连续计算。 (英语) 兹比尔1444.03101 J.日志。计算。 27,第7期,2135-2169(2017).MSC公司:03B55号 06D20日 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,J.Log。计算。27,第7号,2135--2169(2017;Zbl 1444.03101) 全文: 内政部 链接
亚历克斯·西特金 积极逻辑中的可接受性。 (英语) Zbl 1420.03049号 日志。Univers大学。 11,第4期,421-437(2017).MSC公司:03B55号 03B60号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},日志。Univers大学。11,编号4,421-437(2017;兹bl 1420.03049) 全文: 内政部 arXiv公司
托马斯·麦考利·弗格森 形式逻辑中的意义和禁止。威廉·帕里命题逻辑的变体。 (英语) Zbl 1441.03002号 逻辑趋势——Studia Logica图书馆49.查姆:施普林格(ISBN 978-3-319-70820-1/hbk;978-3-3169-70821-8/电子书)。xiii,198页。(2017). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03-02 03B47号 03B50号 03B53号 03B55号 03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \文本{T.M.弗格森},形式逻辑中的意义和禁止。威廉·T·帕里命题逻辑变异体。查姆:斯普林格(2017;Zbl 1441.03002) 全文: 内政部
古拉姆·贝扎尼什维利;托马索·莫拉希尼;詹姆斯·拉弗瑞。 各种剩余结构中的同态。 (英语) 兹比尔1423.03064 J.代数 492, 185-211 (2017).MSC公司:03B47号 03B55号 06D20日 05年6月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Algebra 492,185--211(2017;Zbl 1423.03064) 全文: 内政部 arXiv公司 链接
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利 Heyting代数和正则公式的局部有限约化。 (英语) Zbl 1417.03198号 圣母院J.形式逻辑 58,第1号,21-45(2017).MSC公司:03B55号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{N.Bezhenishvilineneneep,《圣母院J.形式逻辑》58,第1期,第21-45页(2017;Zbl 1417.03198) 全文: 内政部 链接
埃米尔·杰夏贝克 直觉蕴涵公式的证明复杂性。 (英语) Zbl 1422.03124号 Ann.纯粹应用。逻辑 168,第1期,150-190(2017).MSC公司:20层03 03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},Ann.纯苹果。逻辑168,No.1,150--190(2017;Zbl 1422.03124) 全文: 内政部 arXiv公司
乔纳森·塞尔丁。 关于析取中间逻辑的规范化。 (英语) Zbl 1418.03131号 Abeles,Francine F.(编辑)等人,《现代逻辑1850–1950》,《东方与西方》。巴塞尔:Birkhäuser/Springer。通用螺栓。日志。,237-248 (2016).MSC公司:03B55号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{J.P.塞尔丁},收录于:《现代逻辑1850-1950,东方与西方》。巴塞尔:Birkhäuser/Springer。237-248(2016年;兹bl 1418.03131) 全文: 内政部
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;弗朗西斯科·埃斯特瓦;路易斯·戈多 关于真理和保度逻辑之间的中间逻辑集。 (英语) Zbl 1405.03059号 日志。J.IGPL公司 24,第3期,288-320(2016).MSC公司:03B50号 03B55号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}等人,《日志》。J.IGPL 24,第3号,288--320(2016;Zbl 1405.03059) 全文: 内政部
马提亚斯·巴兹;罗莎莉,伊姆霍夫 具有有限模型性质的中间逻辑中的Skolemization。 (英语) Zbl 1405.03068号 日志。J.IGPL公司 24,第3期,224-237(2016).MSC公司:03B55号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{R.Iemhoff},日志。J.IGPL 24,第3号,224--237(2016;Zbl 1405.03068) 全文: 内政部 链接
蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 嵌入形式主义:超序列和两级规则系统。 (英语) Zbl 1400.03071号 Beklemishev,Lev(编辑)等人,《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录(AiML 2016)。伦敦:学院出版物(ISBN 978-1-84890-201-5/pbk)。197-216 (2016).MSC公司:07年3月 03B55号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{F.A.Genco},in:模态逻辑的进展。第11卷。第十一届会议记录(AiML 2016),匈牙利布达佩斯,2016年8月30日至9月2日。伦敦:大学出版社。197-216(2016;Zbl 1400.03071)
安娜·康斯坦丁诺夫娜·科什切娃 超学费逻辑中的新常数:P.Novikov的方法。 (俄语。英文摘要) Zbl 1396.03068号 伊兹夫。仪表材料通知。,乌德穆特。戈斯。大学。 2016年第1期(47)、3-33期(2016).MSC公司:03B55号 03B60号 03B20型 PDF格式BibTeX公司 XML格式引用 \文本{A.K.Koshcheeva},Izv。仪表材料通知。,乌德穆特。戈斯。2016年大学,第1号(47),3--33(2016;Zbl 1396.03068) 全文: MNR公司
拉里萨·勒沃夫娜·马克西莫娃;云,维塔·费多罗夫纳 代数的极小逻辑和不可嵌入性的微积分。 (俄语。英文摘要) Zbl 1390.03026号 兄弟姐妹。È勒克特隆。Mat.Izv公司。 13, 704-715 (2016).MSC公司:03B53号 03B20型 03B55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}和\textit{V.F.Yun},兄弟姐妹。È勒克特隆。Mat.Izv公司。13、704--715(2016;Zbl 1390.03026) 全文: 内政部
亚历克斯·西特金 具有析取性质的逻辑中的多重结论规则。 (英语) Zbl 1476.03035号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9537, 76-89 (2016).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},莱克特。注释计算。科学。9537,76-89(2016;Zbl 1476.03035) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;朱莉娅·伊林 Cofinal稳定逻辑。 (英语) Zbl 1403.03045号 螺柱日志。 104,第6期,1287-1317(2016).MSC公司:03B55号 03B20型 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,研究日志。104、6号、1287--1317(2016;Zbl 1403.03045) 全文: 内政部
杰伦·古德米特(Jeroen P.Goudsmit)。 有限框架失败:无限如何进入可接受性的语义。 (英语) Zbl 1417.03199号 螺柱日志。 104,第6期,1191-1204(2016).MSC公司:03B55号 06D20日 2012年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},Stud.Log。104、6号、1191--1204(2016;Zbl 1417.03199) 全文: 内政部
亚历克斯·西特金 普鲁克纳尔代换的代数逻辑观点。 (英语) Zbl 1403.03046号 圣母院J.形式逻辑 57,第4期,503-521(2016).MSC公司:03B55号 03B60号 03G27号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},圣母院J.形式逻辑57,No.4,503--521(2016;Zbl 1403.03046) 全文: 内政部 欧几里得
罗莎莉,伊姆霍夫;杨,范 依赖命题逻辑中的结构完备性。 (英语) Zbl 1358.03037号 架构(architecture)。数学。逻辑 55,编号7-8955-975(2016). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B60号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff}和\textit{F.Yang},Arch。数学。逻辑55,No.7--8,955--975(2016;Zbl 1358.03037) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利 禁止的配置和子帧种类。 (英语) Zbl 1412.06012号 代数大学。 76,第2期,237-243(2016). 审核人:亚历克斯·西特金(沃伦) MSC公司:06D20日 2015年6月 03B55号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili},代数大学。76、2号、237--243(2016;Zbl 1412.06012) 全文: 内政部
朱武佳;李伟;隋、岳飞;罗杰 健全完整的中间命题逻辑Gentzen演绎系统。 (中文。英文摘要) Zbl 1363.03012号 J.软件。 27,第2期,209-218(2016).MSC公司:03B55号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhu}等人,J.Softw。27,第2号,209--218(2016;Zbl 1363.03012) 全文: 内政部
潘奇阿,维特 疑问语义学的概括。 (英语) Zbl 1415.03036号 J.菲洛斯。日志。 45,第4号,399-428(2016). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B60号 03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{V.Punčochář},J.Philos。日志。45,编号4399-428(2016;兹bl 1415.03036) 全文: 内政部
詹姆斯·布罗瑟斯顿;朱尔斯·维拉德 亚经典布尔束逻辑及其par的含义。 (英语) Zbl 1373.03042号 Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林,2015年9月7日至10日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,325-342(2015)。MSC公司:03B62号 03B45号 03B47号 03B55号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}和\textit{J.Villard},LIPIcs——莱布尼茨国际程序。通知。41325--342(2015;Zbl 1373.03042) 全文: 内政部
罗莎莉,伊姆霍夫 关于规则。 (英语) Zbl 1336.03037号 J.菲洛斯。日志。 44,第6期,697-711(2015).MSC公司:03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Iemhoff},J.Philos。日志。44,第6号,697--711(2015年;兹bl 1336.03037) 全文: 内政部
罗伊·戴克霍夫 受邀演讲:一阶逻辑的连贯性。 (英语) Zbl 1471.03016号 De Nivelle,Hans(编辑),用分析表和相关方法进行自动推理。第24届国际会议,TABLEAUX 2015,波兰Wrocław,2015年9月21日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9323, 3-5 (2015).MSC公司:03B35型 03B10号机组 03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff},莱克特。注释计算。科学。9323,3--5(2015;Zbl 1471.03016) 全文: 内政部
迪克·德·乔恩;赵志光 直觉和最小逻辑中的正公式。 (英语) Zbl 1326.03018号 Aher,Martin(编辑)等人,《逻辑、语言和计算》。第十届第比利斯逻辑、语言和计算国际研讨会,2013年TbiLLC,格鲁吉亚古达乌里,2013年9月23日至27日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-662-46905-7/pbk;978-3-662-46906-4/ebook)。计算机科学课堂讲稿8984175-189(2015)。MSC公司:03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.de Jongh}和\textit{Z.Zhao},Lect。注释计算。科学。8984,175--189(2015;Zbl 1326.03018) 全文: 内政部 链接
罗莎莉,伊姆霍夫;保罗·罗齐埃 中间逻辑的统一。 (英语) Zbl 1357.03059号 J.塞姆。日志。 80,第3期,713-729(2015). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03B55号 03B20型 03B70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff}和\textit{P.Rozière},J.Symb。日志。80,第3号,713--729(2015;Zbl 1357.03059) 全文: 内政部 链接
马克西莫娃,L.L。;云,V.F。 可识别的逻辑。 (英语。俄文原件) Zbl 1347.03055号 代数逻辑 54,第2期,167-182(2015);翻译自《代数逻辑》54,第2期,252-274(2015)。MSC公司:03B55号 03B53号 03C40号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}和\textit{V.F.Yun},代数逻辑54,No.2,167--182(2015;Zbl 1347.03055);翻译自代数罗技54,第252-274号(2015) 全文: 内政部
科什切娃,A.K。 超直觉逻辑L3中的一个新常数。 (英语。俄文原件) Zbl 1328.03007号 代数逻辑 54,第1期,23-35(2015);摘自《代数逻辑》54,第1期,34-52(2015)。MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Koshcheeva},《代数逻辑》54,第1期,23-35(2015;Zbl 1328.03007);《代数逻辑》54的译文,第1期,第34-52页(2015) 全文: 内政部
古拉姆·贝扎尼什维利;大卫·加伯里亚;乔尔·卢塞罗·布莱恩 上述逻辑的拓扑完整性(\mathbf{S4}\)。 (英语) Zbl 1372.03038号 J.塞姆。日志。 80,第2期,520-566(2015).MSC公司:03B45号 03B55号 2012年2月6日 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。80,第2号,520--566(2015;Zbl 1372.03038) 全文: 内政部 arXiv公司
安德烈·索比;塞巴斯蒂安·特维恩。 排斥中间弱定律的推广。 (英语) Zbl 1328.03028号 圣母院J.形式逻辑 56,第2号,321-331(2015).MSC公司:03B55号 03G10年 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Sorbi}和\textit{S.A.Terwijn},圣母院J.形式逻辑56,No.2,321--331(2015;Zbl 1328.03028) 全文: 内政部 arXiv公司 欧几里得
阿诺德·贝克曼;Preining,诺伯特 用单数句分离基础良好结构和双重基础良好结构的中间谓词逻辑。 (英语) Zbl 1348.03026号 J.日志。计算。 25,编号3527-547(2015).MSC公司:03B55号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和\textit{N.Preining},J.Log。计算。25,第3号,527--547(2015;Zbl 1348.03026) 全文: 内政部 链接
埃米尔·杰瓦贝克 模式逻辑中带参数的规则。一、。 (英语) Zbl 1408.03015号 Ann.纯粹应用。逻辑 166,第9期,881-933(2015).MSC公司:03B45号 03B55号 08B20号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},Ann.纯苹果。逻辑166,No.9,881--933(2015;Zbl 1408.03015) 全文: 内政部 arXiv公司