×

找到189份文件（结果1-100）

最新的 引文 关联
查克拉博蒂，米希尔·库马尔

数学本体论注释。 （英文） Zbl 07728684号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13963, 1-10 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.K.Chakraborty}，莱克特。注释计算。科学。13963，1-10（2023；Zbl 07728684）
全文： 内政部
罗梅罗·孔特雷拉斯，阿图罗

胡塞尔，意向性与数学：几何与范畴理论。 （英文） Zbl 1519.00007号

Boi，Luciano（编辑）等人，《当形式成为实体时》。手势的力量、图解直觉和空间现象学。查姆：Birkhäuser。327-357 (2022).
MSC公司：00A30型 03A05号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Romero Contreras}，in：当形式变成实体时。手势的力量、图解直觉和空间现象学。查姆：Birkhäuser。327--357（2022年；Zbl 1519.00007）
全文： 内政部 链接
阿尔多·菲加洛·奥雷拉诺;米盖尔·佩雷斯·加斯帕;拉米雷斯·孔特雷拉斯（Ramírez-Contreras）、胡安·曼努埃尔（Juan Manuel）

基于（k）-循环模态伪补De Morgan代数的次协调和次完备逻辑。 （英文） 兹比尔1508.03063

螺柱日志。 110，第5期，1291-1325（2022）.
审核人：杰玛·罗伯斯（莱昂）
MSC公司：03B53号 06时30分 03B45
PDF格式BibTeX公司 XML格式引用
\textit｛A.Figallo Orellano｝等人，《螺柱日志》。110，第5号，1291--1352（2022；Zbl 1508.03063）
全文： 内政部
伊沃·佩兹拉

意义和计算：可计算命题的两种方法。 （英文） Zbl 07547736号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13038, 100-116 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Pezlar}，莱克特。注释计算。科学。13038，100-116（2021；Zbl 07547736）
全文： 内政部
马塞洛·科尼格里奥（Marcelo E.Coniglio）。;弗朗西斯科·埃斯特瓦;Gispert，琼;路易斯·戈多

具有对合性的度保护哥德尔逻辑：中间逻辑和（理想）副一致性。 （英文） 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）
全文： 内政部
奥费尔·阿列利;安娜·扎曼斯基

引言：非经典逻辑-介于语义和证明理论之间（与阿诺·阿夫伦的工作有关）。 （英文） Zbl 07451996年

Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：施普林格。Outst公司。控制日志。21, 1-11 (2021).
MSC公司：03年XX月 68倍
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}和\textit{A.Zamansky}，Outst。控制日志。21、1--11（2021；Zbl 07451996）
全文： 内政部
罗伊·瓦格纳

数学需要基础吗？ （英文） Zbl 1528.00006号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：施普林格。合成。伦敦银行同业拆借利率。407, 381-396 (2019).
MSC公司：00A30型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{R.Wagner}，Synth（合成）。伦敦银行同业拆借利率。407381-396（2019年；Zbl 1528.00006）
全文： 内政部 链接
马塞洛·科尼格里奥（Marcelo E.Coniglio）。;阿尔多·菲加洛·奥雷拉诺

mbC Fidel结构的模型理论分析。 （英文） 兹比尔1469.03072

巴什肯特（Baškent，Can）（编辑）等，格雷厄姆·普里斯特（Graham Priest），关于双重性和超一致性。查姆：施普林格。Outst公司。控制日志。18, 189-216 (2019).
MSC公司：03B53号 03C05号机组 08B15号 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Coniglio}和\textit{A.Figallo-Orellano}，Outst。控制日志。18、189--216（2019；Zbl 1469.03072）
全文： 内政部 链接
沃尔特·卡尼埃利;阿比利奥·罗德里格斯

推理语义、超一致性和证据保存。 （英文） Zbl 1469.03071号

巴什肯特（Baškent，Can）（编辑）等，格雷厄姆·普里斯特（Graham Priest），关于双重性和超一致性。查姆：施普林格。Outst公司。控制日志。18, 165-187 (2019).
MSC公司：03B53号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{W.Carnielli}和\textit{A.Rodrigues}，Outst。控制日志。18、165-187（2019年；Zbl 1469.03071）
全文： 内政部
沙希德·拉赫曼

对话、理由和认可。 （英文） Zbl 1469.03024号

Weiss，Christina（编辑），《建构语义学》。现象学和建构主义之间的意义。基于2016年9月30日至10月1日在德国弗里德里希沙芬举行的研讨会。查姆：施普林格。日志。认识论。统一科学。44, 15-84 (2019).
MSC公司：03A05号 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{S.Rahman}，日志。认识论。统一科学。44、15-84（2019年；Zbl 1469.03024）
全文： 内政部 链接
林克，戈德哈德

数学中的客观性和真理：清醒的非柏拉图主义观点。 （英文） Zbl 1469.03020号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：施普林格。合成。伦敦银行同业拆借利率。412, 159-202 (2019).
MSC公司：03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Link}，合成。伦敦银行同业拆借利率。412159-202（2019年；Zbl 1469.03020）
全文： 内政部
安纳托利·彼得罗维奇（AnatoliĭPetrovich）;莫辛·曼沙德·阿巴斯

对自然语言文本中的情感进行逻辑分析。 （英文） 兹比尔1446.03063

维斯特。乌德穆特。马特·梅赫大学。康普尤特。瑙基 29，第1号，106-116（2019）.
MSC公司：03B65号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Bel'tyukov}和textit{M.M.Abbasi}，Vestn。乌德穆特。马特·梅赫大学。康普尤特。Nauki 29，No.1，106--116（2019；Zbl 1446.03063）
全文： 内政部 MNR公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件