逻辑

最近提交的作者和标题

• 2025年07月21日， 星期一
• 2025年07月18日， 星期五
• 2025年07月17日， 星期四
• 2025年07月16日， 星期三
• 2025年07月15日， 星期二

查看今天的 新的 变化

2025年07月16日， 星期三 (展示 2 之 2 条目 )

[21] arXiv:2507.11339 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 常数预测和逃避数，第一部分：推广和变体 显示英文标题

标题： Constant prediction and evasion number, I: Generalization and variants

Miguel A. Cardona, Miroslav Repický

评论： 22页

主题： 逻辑 (math.LO)

[22] arXiv:2507.10932 (交叉列表自 math.CO) [中文pdf, pdf, html, 其他]

标题： 度量格的模型理论：伪有限划分格 显示英文标题

标题： The model theory of metric lattices: pseudofinite partition lattices

José Contreras Mantilla, Thomas Sinclair

评论： 56页。欢迎提出意见！

主题： 组合数学 (math.CO) ; 泛函分析 (math.FA) ; 逻辑 (math.LO) ; 算子代数 (math.OA)

2025年07月15日， 星期二 (展示 6 之 6 条目 )

[23] arXiv:2507.10289 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可定义坐标几何在域上的第二部分：应用 显示英文标题

标题： Definable coordinate geometries over fields, part 2: applications

Judit Madarász, Mike Stannett, Gergely Székely

评论： 23页，2图，1表

主题： 逻辑 (math.LO)

[24] arXiv:2507.10279 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可定义的坐标几何在域上，第一部分：理论 显示英文标题

标题： Definable coordinate geometries over fields, part 1: theory

Judit Madarász, Mike Stannett, Gergely Székely

评论： 18页，1图

主题： 逻辑 (math.LO)

[25] arXiv:2507.09348 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 某些次直觉逻辑的片段 显示英文标题

标题： Fragments of Some Subintuitionistic Logics

Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh

主题： 逻辑 (math.LO)

[26] arXiv:2507.09136 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 非正常模态逻辑的无变量片段的复杂性（扩展版） 显示英文标题

标题： Complexity of the variable-free fragments of non-normal modal logics (extended version)

A. Kudinov, M. Rybakov

评论： 提交至会议Smirnov研讨会（2025）的摘要扩展版

主题： 逻辑 (math.LO)

[27] arXiv:2507.09427 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 直觉主义模态逻辑的正当性逻辑（扩展技术报告） 显示英文标题

标题： Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)

Sonia Marin, Paaras Padhiar

主题： 计算机科学中的逻辑 (cs.LO) ; 逻辑 (math.LO)

[28] arXiv:2507.09324 (交叉列表自 math.RA) [中文pdf, pdf, 其他]

标题： 关系代数的网络满足问题，最多有4个原子 显示英文标题

标题： The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms

Manuel Bodirsky, Moritz Jahn, Matěj Konečný, Simon Knäuer, Paul Winkler

主题： 环与代数 (math.RA) ; 计算复杂性 (cs.CC) ; 逻辑 (math.LO)