显示 10 5 10 15 20 50 100 250 排序依据 年(从新到旧) 行动 下载搜索结果 订阅新闻源 您的过滤器: cql:jcr.category确切的“逻辑” 添加到列表 期刊文章 A1类 T、TB、S4、S5等的模块化非确定性语义 帕维尔·帕洛夫斯基(根特大学)和埃利奥·拉罗莎 (2022)逻辑与计算杂志. 32(1).第158-171页 添加到列表 期刊文章 A1类 公理的数量 J.P.阿奎莱拉(根特大学),巴兹先生和J.比季奥夫斯克 (2022)纯逻辑和应用逻辑年鉴. 173(5). 添加到列表 期刊文章 A1类 算术和超算术蠕虫大战 大卫·费尔南德斯·杜克(根特大学),乔斯特·J·乔斯顿,费多·帕霍莫夫(根特大学),康斯坦蒂诺斯·帕帕菲利波(根特大学)和安德烈亚斯·魏尔曼(根特大学) (2022)逻辑与计算杂志. 32(8).第1558-1584页 添加到列表 期刊文章 A1类 开放存取 EK、ECK和亲属的邻居规范性:一个建设性的证明 弗雷德里克·范·德普特(根特大学)和保罗·麦克纳马拉 (2022)符号逻辑综述. 15(3).第607-623页 添加到列表 期刊文章 A1类 开放存取 反射等级和顺序分析 费多·帕霍莫夫(根特大学)和詹姆斯·沃尔什 (2021)符号逻辑杂志. 86(4).第1350-1384页 添加到列表 期刊文章 A1类 参数化Ackermann-Peter函数上的Goodstein序列 荒井俊也,斯坦·韦纳和安德烈亚斯·魏尔曼(根特大学) (2021)符号逻辑公告. 27(2).第168-186页 添加到列表 期刊文章 A1类 开放存取 池模式和逐点交集:公理化和可判定性 弗雷德里克·范·德普特(根特大学)和多米尼克·克莱恩 (2021)STUDIA LOGICA工作室. 109(1).第47-93页 添加到列表 期刊文章 A1类 经典模态逻辑 Stef Frijters公司和弗雷德里克·范·德普特(根特大学) (2021)逻辑与计算杂志. 31(4).第1026-1054页 添加到列表 期刊文章 A1类 非形式可证明的非确定性逻辑没有有限特征 帕维尔·帕洛夫斯基(根特大学) (2021)逻辑语言与信息杂志. 30(4).第805-817页 添加到列表 期刊文章 A1类 开放存取 长射影确定性的一致性强度 J.P.阿奎莱拉(根特大学)和桑德拉·米勒 (2020)符号逻辑杂志. 85(1).第338-366页 1 2 3 4 … 11 12 下一步→