×

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

最新的 引文 关联
维托·格里蒂;乔安·马科斯

非有限可公理化逻辑的有限二维证明系统。 （英语） Zbl 07628213号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13385, 640-658 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{V.Greati}和\textit{J.Marcos}，莱克特。注释计算。科学。13385、640--658（2022；Zbl 07628213）
全文： 内政部 arXiv公司
OA许可证
拉尔夫·弗里斯（Ralph S.Freese）。;拉尔夫·麦肯齐（Ralph N.McKenzie）。;乔治·麦克纳尔蒂。;沃尔特·泰勒。

代数、格、变体。第三卷。 （英语） Zbl 1511.08001号

数学调查和专著269.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-6798-2/pbk；978-1-4740-7130-9/电子书）。十七、430页。(2022).
审核人：皮特·诺马克（塔林）
MSC公司：08-01 2001年3月 06-01 03C05号机组 06Bxx年 08轴 08Bxx年
PDF格式BibTeX公司 XML格式引用
\textit{R.S.Freese}等人，《代数、格、变种》。第三卷普罗维登斯，RI:美国数学学会（AMS）（2022；Zbl 1511.08001）
全文： 内政部
塔雷克·艾哈迈德

放大和模糊代数逻辑中的结构。 （英语） Zbl 07442319号

Madarász，Judit（编辑）等人，Hajnal Andréka和István németi关于科学统一的研究。通过代数逻辑从计算到相对论。查姆：斯普林格。Outst公司。控制日志。19, 347-359 (2021).
MSC公司：03年XX月 68倍
PDF格式BibTeX公司 XML格式引用
\textit{T.S.Ahmed}，Outst（奥斯特）。控制日志。19、347--359（2021；Zbl 07442319）
全文： 内政部 arXiv公司
阿尔特·维克托洛维奇五世。;维克托·彼得罗维奇（Viktor Petrovich Il’ev）

关于有限拟阵类的公理化性及其泛理论的可判定性。 （俄语。英文摘要） Zbl 1477.03121号

同胞。È勒克特隆。Mat.Izv公司。 17, 1730-1740 (2020).
MSC公司：03C13号机组 03C65号 05B35号
PDF格式BibTeX公司 XML格式引用
\textit｛A.V.V.Il'ev｝和\textit｛V.P.Il'ev｝，兄弟姐妹。È勒克特隆。材料Izv。17、1730--1740（2020；Zbl 1477.03121）
全文： 内政部
克里斯托弗·汉普森;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;塞尔吉奥·马塞利诺

具有无穷规范公理化的非有限公理化模态乘积逻辑。 （英语） Zbl 1442.03011号

Ann.纯粹应用。逻辑 171，第5号，文章ID 102786，46页（2020）.
审核人：亚历克斯·西特金（沃伦）
MSC公司：03B45号 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{C.Hampson}等人，Ann.Pure Appl。逻辑171，第5号，文章ID 102786，46页（2020；Zbl 1442.03011）
全文： 内政部 arXiv公司
Efremov，E.L。;斯蒂芬诺娃，A.A。

弱内射作用类的公理化性。 （英语。俄文原件） Zbl 1420.03078号

同胞。数学。J。 58，第4号，611-618（2017）; 来自Sib的翻译。材料Zh。58，第4期，785-795（2017）。
MSC公司：03C60型 03元52分 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{E.L.Efremov}和\textit{A.A.Stepanova}，Sib。数学。J.58，No.4，611--618（2017；Zbl 1420.03078）；来自Sib的翻译。材料Zh。58，第4号，785--795（2017）
全文： 内政部
安德烈·库迪诺夫;伊利亚州夏皮洛夫斯基;Shehtman，瓦伦丁

关于汉明空间的模态逻辑。 （英语） 兹比尔1291.03036

托马斯·博兰德（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。395-410 (2012).
MSC公司：03B45号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kudinov}等人，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。395--410（2012年；Zbl 1291.03036）
大卫·费尔南德斯·杜克

动态拓扑逻辑的非有限公理化。 （英语） 兹比尔1296.03016

托马斯·博兰德（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。200-216 (2012).
审核人：安德烈·因德泽扎克（Andrzej Indrzejczak）
MSC公司：03B45号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Fernández-Duque}，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。200-216（2012；Zbl 1296.03016）
全文： arXiv公司
沃伊切赫·齐埃隆卡

与Lambek演算相关的弱蕴涵逻辑-Gentzen与Hilbert形式。 （英语） Zbl 1180.03027号

戴维·梅金森（编辑）等人，《走向数学哲学》。Studia Logica会议的论文《逻辑趋势IV》，波兰托伦，2006年9月1日至4日。柏林：施普林格出版社（ISBN 978-1-4020-9083-7/hbk；978-1-4020-9084-4/电子书）。逻辑趋势——Studia Logica Library 28，201-212（2009）。
审核人：米洛斯·阿瓦·科·奥斯卡·加维耶诺维奇（波兹南）
MSC公司：03B47号
PDF格式BibTeX公司 XML格式引用
\textit{W.齐埃隆卡}，in：走向数学哲学。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。201-212（2009年；Zbl 1180.03027）
全文： 内政部
安德烈亚斯·赫齐格;弗朗索瓦州施瓦岑特鲁伯

个人和团体代理的逻辑属性。 （英语） Zbl 1244.03099号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。133-149 (2008).
MSC公司：03B60 03B45号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Herzig｝和\textit｛F.Schwarzentrouber｝，在：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物。133-149（2008年；Zbl 1244.03099）
Stanisław Kasjan

从模型理论的观点来看代数的表示类型。 （英语） Zbl 1210.16022号

Skowroñski，Andrzej（编辑），代数表示理论和相关主题的趋势。2007年8月15日至24日在波兰托伦举行的第十二届代数表示法国际会议记录和研讨会（ICRA XII）。苏黎世：欧洲数学学会（EMS）（ISBN 978-3-03719-062-3/hbk）。EMS系列国会报告，433-465（2008）。
MSC公司：16G60型 03C60型 16国集团10 16B70型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kasjan}，in：代数表示理论及相关主题的趋势。2007年8月15日至24日在波兰托伦举行的第十二届代数表示法国际会议记录和研讨会（ICRA XII）。苏黎世：欧洲数学学会（EMS）。433--465（2008；Zbl 1210.16022）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件