×

找到1000个文档(结果1-100)

直觉主义逻辑谓词扩展的析取和存在性质的注记——Jankov公式在谓词逻辑中的应用。 (英语) Zbl 07672621号

亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:施普林格。Outst公司。控制日志。24, 221-244 (2022).
MSC公司:03B55号 03楼50
PDF格式BibTeX公司 XML格式引用
全文: 内政部

中间逻辑的扬科夫公式和公理化技术。 (英语) Zbl 07672616号

亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:施普林格。Outst公司。控制日志。24, 71-124 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

张量析取的认知解释。 (英语) Zbl 07668123号

Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。719-739(2022年)。
MSC公司:03B42型 03B55号
PDF格式BibTeX公司 XML格式引用
全文: 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格式引用

用嵌套序列驯服有界深度。 (英语) Zbl 07668098号

Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:大学出版社。199-216 (2022).
MSC公司:05年3月 03B55号
PDF格式BibTeX公司 XML格式引用

通过Ruitenburg定理建立中间理论的格。 (英语) Zbl 07570785号

奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13206, 297-322 (2022).
PDF格式BibTeX公司 XML格式引用

具有对合性的度保护哥德尔逻辑:中间逻辑和(理想)副一致性。 (英语) Zbl 1495.03039号

Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:施普林格。Outst公司。控制日志。21, 107-139 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

直觉主义逻辑厨房中可接受的工具。 (英语) 兹比尔1525.03049

Berardi,Stefano(ed.)等人,《第七届经典逻辑与计算国际研讨会论文集》,CL&C 2018,英国牛津,2018年7月7日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)281,10-23(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于具有常数域的有限高度Kripke框架的超直觉谓词逻辑的一点注记:一个更简单的非强完备Kripke-完备逻辑。 (英语) Zbl 1418.03132号

Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。577-590 (2018).
MSC公司:03B55号 03B20型
PDF格式BibTeX公司 XML格式引用

通过超线性嵌套序列对中间逻辑进行插值。 (英语) 兹比尔1418.03130

Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。473-492 (2018).
PDF格式BibTeX公司 XML格式引用

最小逻辑的扩展和插值问题。 (英语。俄文原件) Zbl 1469.03078号

兄弟姐妹。数学。J。 59,第4号,681-693(2018)来自Sib的翻译。材料Zh。59,第4期,863-878(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式逻辑中的意义和禁止。威廉·帕里命题逻辑的变体。 (英语) Zbl 1441.03002号

逻辑趋势——Studia Logica图书馆49.查姆:施普林格(ISBN 978-3-319-70820-1/hbk;978-3-3169-70821-8/电子书)。xiii,198页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于析取中间逻辑的规范化。 (英语) Zbl 1418.03131号

Abeles,Francine F.(编辑)等人,《现代逻辑1850–1950》,《东方与西方》。巴塞尔:Birkhäuser/Springer。通用螺栓。日志。,237-248 (2016).
MSC公司:03B55号 05年3月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

嵌入形式主义:超序列和两级规则系统。 (英语) Zbl 1400.03071号

Beklemishev,Lev(编辑)等人,《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录(AiML 2016)。伦敦:学院出版物(ISBN 978-1-84890-201-5/pbk)。197-216 (2016).
PDF格式BibTeX公司 XML格式引用

超学费逻辑中的新常数:P.Novikov的方法。 (俄语。英文摘要) Zbl 1396.03068号

PDF格式BibTeX公司 XML格式引用
全文: MNR公司

具有析取性质的逻辑中的多重结论规则。 (英语) Zbl 1476.03035号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9537, 76-89 (2016).
MSC公司:03B55号
PDF格式BibTeX公司 XML格式引用

亚经典布尔束逻辑及其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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

受邀演讲:一阶逻辑的连贯性。 (英语) Zbl 1471.03016号

De Nivelle,Hans(编辑),用分析表和相关方法进行自动推理。第24届国际会议,TABLEAUX 2015,波兰Wrocław,2015年9月21日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9323, 3-5 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

直觉和最小逻辑中的正公式。 (英语) 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格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件