托马斯·维查克 直觉模态逻辑背景下的拓扑和多拓扑框架。 (英文) Zbl 1446.03044号 牛市。教派。日志。,大学后勤部。 48,第3期,187-205(2019).MSC公司:03B45号 03B20型 54A10号 PDF格式BibTeX公司 XML格式引用 \textit{T.Witchzak},公牛。教派。日志。,大学后勤部。48,第3号,187--205(2019;Zbl 1446.03044) 全文: 内政部
范洁 通往超滤扩展的道路。 (英文) Zbl 1469.03048号 廖北水(编辑)等,《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。日志。亚洲:双头螺栓。原木。伦敦银行同业拆借利率。,117-133 (2019).MSC公司:03B45号 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fan},in:动力学、不确定性和推理。第二届中国逻辑与论证会议论文集(CLAR 2018),中国杭州,2018年6月16-17日。新加坡:斯普林格。117-133(2019年;Zbl 1469.03048) 全文: 内政部 arXiv公司
安德烈亚·马西尼;玛格丽塔·佐齐 用于量子寄存器测量的逻辑。 (英文) Zbl 1432.03131号 公理 8,第1号,第25号论文,第10页(2019年).MSC公司:03G12号机组 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}和\textit{M.Zorzi},《公理8》,第1期,第25号论文,第10页(2019年;Zbl 1432.03131) 全文: 内政部
弗朗西斯科·贝尔托;格雷格·雷斯塔尔 否定澳大利亚的计划。 (英文) 兹比尔1457.03007 J.菲洛斯。日志。 第6期第48页,第1119-1144页(2019).MSC公司:03A05号 03B45号 03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{F.Berto}和\textit{G.Restall},J.Philos。日志。48,第6号,1119--1144(2019;Zbl 1457.03007) 全文: 内政部
塔尼宁,图卡 刚性多样。 (英文) 兹比尔1450.03001 日志。Univers大学。 13,第2期,219-240(2019). 审核人:Valentin F.Goranko(斯德哥尔摩) MSC公司:03A05号 03B42号 03B45号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tanninen},日志。Univers大学。13,第2号,219--240(2019;Zbl 1450.03001) 全文: 内政部
彼得·辛图拉;Paula Menchón;卡莱斯·诺格拉 模态多值逻辑的一般框架语义。 (英文) Zbl 1418.03121号 软计算。 23,第7号,2233-2241(2019).MSC公司:03B52号 03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,《软计算》。23,第7号,2233--2241(2019;Zbl 1418.03121) 全文: 内政部
耶鲁大学维斯 基本直觉条件逻辑。 (英文) Zbl 1457.03047号 J.菲洛斯。日志。 48,第3期,447-469(2019).MSC公司:03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Weiss},J.Philos(费罗斯)。日志。48,第3号,447--469(2019;Zbl 1457.03047) 全文: 内政部
托马斯·皮埃查;彼得·施罗德·海斯特 直觉命题逻辑相对于证明理论语义的不完全性。 (英文) Zbl 07055418号 螺柱日志。 107,编号1,233-246(2019).MSC公司:03财年03 03秒20 PDF格式BibTeX公司 XML格式引用 \textit{T.Piecha}和\textit{P.Schroeder-Heister},Stud.Log。107,编号1,233--246(2019;Zbl 07055418) 全文: 内政部
古拉姆·贝扎尼什维利;卫斯理·H·霍利迪。 直觉逻辑的语义层次结构。 (英文) Zbl 07049867号 印度。数学。,新序列号。 30,第3期,403-469(2019).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{W.H.Holliday},印度。数学。,新序列号。30,第3号,403--469(2019;Zbl 07049867) 全文: 内政部 链接 反向链接: 卫生官员
西蒙·多尔蒂;大卫·派姆 分离逻辑的石头型对偶。 (英文) Zbl 1432.03046号 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年).MSC公司:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号文件,第51页(2019年;Zbl 1432.03046) 全文: arXiv公司