×

找到3733个文档（结果1-100）

最新的 引文 关联
Inoué，高尾；Miwa、Tadayoshi

列希涅夫斯基-伊希莫托命题本体论（bf L_1）的非平凡单公理-图式及其拟现实性。 arXiv:2402.07030

预打印，arXiv:2402.07030[math.LO]（2024）。
MSC公司：03B20型 03B60号 03财年03 03A05号 03A99号
BibTeX公司 引用
\textit{T.Inoué}和\textit{T.Miwa}，“非平凡的单公理-模式及其Le的拟逆性”{s} 石本涅夫斯基的命题本体$\bf L_1$“”，预打印，arXiv:2402.07030[math.LO]（2024）
全文： arXiv公司
OA许可证
郭华宇；陈东恒；布鲁诺·本岑

验证了直觉主义命题逻辑的亨金风格的完备性。 （英语） Zbl 07823010号

Bentzen，Bruno（编辑）等人，《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日，中国杭州，第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦：学院出版物。36-48 (2023).
MSC公司：68T27型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{H.Guo}等人，in：人工智能和法律的逻辑。第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录，2023年9月8日至9日和11日至12日，中国杭州。伦敦：学院出版物。36-48（2023；Zbl 07823010）
全文： arXiv公司 链接
贝扎·拉梅斯金·德塞；伯哈努·阿萨耶·阿拉巴；约汉内斯·格达姆（Yohannes Gedamu），温迪夫（Wondifraw）

关于PMS-代数的直觉模糊PMS-子代数的同态和笛卡尔积。 （英语） 兹伯利07811406

牛市。第节。日志。，大学后勤部。 52，编号1，19-38（2023）.
MSC公司：35楼06号 08A72号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{B.L.Derseh}等人，公牛。第节。日志。，大学后勤部。52，编号1，19--38（2023；Zbl 07811406）
全文： 内政部
瓦莱里·普里斯科（Valerii E.Plisko）。

本原递归可实现的谓词逻辑的非算术性。 （英语。俄文原件） Zbl 07739850号

伊兹夫。数学。 87，第2号，389-419（2023）; 翻译自Izv。罗斯。阿卡德。Nauk，爵士。材料87，编号2，196-228（2023）。
MSC公司：03D20日 03楼55 03B20型
PDF格式BibTeX公司 XML格式引用
\文本{V.E.Plisko}，Izv。数学。87，编号2，389--419（2023；Zbl 07739850）；翻译自Izv。罗斯。阿卡德。Nauk，爵士。材料87，编号2，196--228（2023）
全文： 内政部 MNR公司
马金·马基维奇兹；贾努斯·普尔泽沃基

任意对称群上量子态平均的对偶性揭示了Schur-Weyl对偶性。 （英语） Zbl 07738175号

《物理学杂志》。A、 数学。西奥。 56，第39号，文章ID 395301，37页（2023）.
MSC公司：81页第45页 90B15号机组 34C29号 第81页，共16页 60H50型 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Markiewicz}和\textit{J.Przewocki}，J.Phys。A、 数学。西奥。56，第39号，文章ID 395301，37页（2023；Zbl 07738175）
全文： 内政部 arXiv公司
OA许可证
吴浩；马明辉

直觉主义连接逻辑的无限性。 （英语） Zbl 07728697号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13963, 189-206 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Wu}和\textit{M.Ma}，Lect。票据计算。科学。13963、189--206（2023；Zbl 07728697）
全文： 内政部
维利赫卡·特兰耶娃；彼得罗夫；斯托扬·特兰耶夫

通过索引矩阵棱镜的直觉模糊背包问题。 （英语） Zbl 1521.90108号

Georgiev，Ivan（编辑）等人，《数值方法和应用》。第十届国际会议，2022年8月22日至26日，保加利亚Borovets，NMA 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13858, 314-326 (2023).
MSC公司：90C27型 90摄氏度70
PDF格式BibTeX公司 XML格式引用
\textit{V.Traneva}等人，Lect。票据计算。科学。13858，314--326（2023；Zbl 1521.90108）
全文： 内政部
胡安·科内霍（Juan M.Cornejo）。；Sankappanavar、Hanamantagouda P。

对偶半半Heyting代数及其公理扩张的逻辑。 （英语） Zbl 07811404号

牛市。第节。日志。，大学后勤部。 51，第4号，555-645（2022）.
MSC公司：03B50号 03G25号 06D20日 2015年1月6日 08B26号 08B15号 06时30分
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Cornejo}和\textit{H.P.Sankappanavar}，公牛。第节。日志。，大学后勤部。51，编号4，555-645（2022；Zbl 07811404）
全文： 内政部 arXiv公司
奥塔维奥·布埃诺

修改逻辑。 （英语） Zbl 07740519号

Béziau，Jean-Yves（编辑）等人，《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019年）上的会谈。查姆：Birkhäuser。通用螺栓。日志。，303-320 (2022).
MSC公司：03A05号 03Bxx号 01A25号 01A55号 03B53号 03B20型 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{O.Bueno}，in：逻辑有问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019）上的会谈。查姆：Birkhäuser。303--320（2022；Zbl 07740519）
全文： 内政部
Ananthi，副总裁。；桑加拉吉，C。；Easwaramoorthy，D。

直觉模糊增强图像自动边缘检测中的多重分形维数和分数微分。 （英语） Zbl 1517.28002号

Banerjee，Santo（编辑）等人，《分形分析的前沿》。最近的进展和挑战。佛罗里达州博卡拉顿：查普曼和霍尔/CRC。154-171 (2022).
MSC公司：28安培80 03B20型 26A33飞机
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Ananthi}等人，in：分形分析的前沿。最近的进展和挑战。佛罗里达州博卡拉顿：查普曼和霍尔/CRC。154-171（2022年；Zbl 1517.28002）
全文： 内政部
蒂齐亚诺·达尔蒙特；查尔斯·格雷洛伊斯；尼古拉·奥利维蒂

走向一种直觉主义的道义逻辑，容忍相互冲突的义务。 （英语） 兹伯利07691329

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13468, 280-294 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Dalmonte}等人，Lect。票据计算。科学。13468，280-294（2022；Zbl 07691329）
全文： 内政部
松田直介；Kento Takagi

什么样的连接词导致直觉谓词逻辑和常量域逻辑之间的差异？ （英语） Zbl 07691322号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13468, 175-189 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Matsuda}和\textit{K.Takagi}，莱克特。票据计算。科学。13468，175--189（2022；Zbl 07691322）
全文： 内政部 arXiv公司
胡安·巴勃罗·阿奎莱拉；马丁·迪盖兹；大卫·费尔南德斯·杜克；布雷特·麦克莱恩

时间和哥德尔：PSPACE中的模糊时间推理。 （英语） Zbl 07691313号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13468, 18-35 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Aguilera}等人，Lect。票据计算。科学。13468，18-35（2022；Zbl 07691313）
全文： 内政部 arXiv公司
古拉姆·贝扎尼什维利；尼克·贝扎尼什维利

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

亚历克斯（编辑）Citkin等人，V.A.Yankov，关于非经典逻辑、历史和数学哲学。查姆：斯普林格。Outst公司。控制日志。24, 71-124 (2022).
MSC公司：03B55号 06D20日 2015年6月
PDF格式BibTeX公司 XML格式引用
\textit{G.Bezhanishvili}和\textit{N.Bezhenishvili{，Outst。控制日志。24、71——124（2022年；Zbl 07672616）
全文： 内政部
丹尼斯·萨维利耶夫一世。；伊利亚州夏皮洛夫斯基

梅德韦杰夫的逻辑和逆向井序产品。 （英语） Zbl 07668121号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。681-696（2022）。
MSC公司：03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{D.I.Saveliev}和\textit{I.Shapirovsky}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。681--696（2022；Zbl 07668121）
小野，Hiroakira；佐野胜彦

双直觉时态逻辑的解析切割和Mints对称插值方法。 （英语） Zbl 07668117号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623 (2022).
MSC公司：05年3月 03B20型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}和\textit{K.Sano}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623（2022；Zbl 07668117）
萨托鲁·尼基

直觉主义情态和贝丝语义学。 （英语） Zbl 07668116号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。579-599 (2022).
MSC公司：03B20型 03B45 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{S.Niki}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。579-599（2022；Zbl 07668116）
卫斯理·H·霍利迪。

兼容性和可访问性：非经典和模态逻辑语义的格表示。 （英语） Zbl 07668113号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。507-529（2022）。
MSC公司：03G10年 03B20型 03B45 06B23号 2015年1月6日 06D20日
PDF格式BibTeX公司 XML格式引用
\textit{W.H.Holliday}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。507--529（2022；Zbl 07668113）
全文： arXiv公司
吉姆·德·格罗特

模态直觉主义逻辑的Goldblatt-Thomason定理。 （英语） Zbl 07668111号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。467-489（2022年）。
MSC公司：03B20型 03B45
PDF格式BibTeX公司 XML格式引用
\textit{J.de Groot}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。467--489（2022年；Zbl 07668111）
全文： arXiv公司
拉杰夫·戈雷；伊恩·希利托

直接消除GL4ip中的添加剪切：验证并提取。 （英语） Zbl 1518.03015号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。429-449 (2022).
审核人：安妮卡·坎科斯（赫尔辛基）
MSC公司：03层45 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}和\textit{I.Shillito}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。429--449（2022；Zbl 1518.03015）
蒂齐亚诺·达尔蒙特

Wijesekera风格的构造模态逻辑。 （英语） Zbl 07668102号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。281-303 (2022).
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{T.Dalmonte}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。281--303（2022；Zbl 07668102）
全文： arXiv公司
艾哈迈德·克里斯滕森

模糊直觉模态逻辑的完备性。 （英语） Zbl 07668097号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。177-197 (2022).
MSC公司：03B52号 03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Christensen}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。177-197（2022；Zbl 07668097）
阿米罗申·阿克巴尔·塔巴塔拜；罗莎莉，伊姆霍夫；拉赫利·贾拉利

直觉单调模态逻辑的一致Lyndon插值。 （英语） Zbl 07668092号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。77-96 (2022).
MSC公司：03B45 03B20型 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Akbar-Tabatabai}等人，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。77-96（2022；Zbl 07668092）
全文： arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件