Logic

Authors and titles for recent submissions

• Thu, 13 Mar 2025
• Wed, 12 Mar 2025
• Tue, 11 Mar 2025
• Mon, 10 Mar 2025
• Fri, 7 Mar 2025

See today's new changes

Thu, 13 Mar 2025 (continued, showing last 1 of 6 entries )

[6] arXiv:2503.08691 (cross-list from math.GN) [pdf, other]

Title: On Non-definability of Internal Connectedness via Contact Relation

Rafał Gruszczyński, Paula Menchón

Subjects: General Topology (math.GN); Logic (math.LO); Rings and Algebras (math.RA)

Wed, 12 Mar 2025 (showing 5 of 5 entries )

[7] arXiv:2503.08566 [pdf, html, other]

Title: Relation Algebras Compatible with $\mathbb{Z}_2$-sets

Jeremy F. Alm, John W. Snow

Subjects: Logic (math.LO)

[8] arXiv:2503.08312 [pdf, html, other]

Title: Ramsey property for spaces with bilinear forms

Aleksander Ivanov, Frédéric Jaffrennou

Comments: 10 pages

Subjects: Logic (math.LO); Combinatorics (math.CO)

[9] arXiv:2503.08258 [pdf, html, other]

Title: Supersimplicty and arithmetic progressions

Amador Martin-Pizarro, Daniel Palacín

Subjects: Logic (math.LO); Combinatorics (math.CO)

[10] arXiv:2503.07658 [pdf, html, other]

Title: There are more non-Cantorian sets than are Cantorian

Zuhair Al-Johar

Comments: 3 pages

Subjects: Logic (math.LO)

[11] arXiv:2503.07864 (cross-list from math.CO) [pdf, html, other]

Title: Dependence of functions on their variables

Ilijas Farah

Comments: 7 pages. This note will not be submitted for publication, but it will be included in the upcoming revised version of my 2000 monograph `Analytic quotients'

Subjects: Combinatorics (math.CO); Logic (math.LO)

Tue, 11 Mar 2025 (showing 6 of 6 entries )

[12] arXiv:2503.06758 [pdf, html, other]

Title: Strongly increasing sequences

Paul B. Larson, Chris Lambie-Hanson

Subjects: Logic (math.LO)

[13] arXiv:2503.06657 [pdf, html, other]

Title: Representability for distributive quasi relation algebras via generalised ordinal sums

Andrew Craig, Claudette Robinson, Wilmari Morton

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[14] arXiv:2503.06230 [pdf, html, other]

Title: Quelques résultats sur les anneaux de Lie qui n ' ont pas de chaine infinie de centralisateurs

Samuel Zamour

Comments: in French

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[15] arXiv:2503.07366 (cross-list from math.GR) [pdf, html, other]

Title: Quite free p-groups with trivial duality

Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

Subjects: Group Theory (math.GR); Logic (math.LO)

[16] arXiv:2503.07351 (cross-list from cs.AI) [pdf, html, other]

Title: Encoding Argumentation Frameworks to Propositional Logic Systems

Shuai Tang, Jiachao Wu, Ning Zhou

Comments: 31 pages

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

[17] arXiv:2503.05790 (cross-list from cs.LO) [pdf, other]

Title: 2-Coherent Internal Models of Homotopical Type Theory

Joshua Chen

Comments: 43 pages

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)

Mon, 10 Mar 2025 (showing 2 of 2 entries )

[18] arXiv:2503.05364 [pdf, other]

Title: Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial

Alexander V. Gheorghiu, Yll Buzoku

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[19] arXiv:2503.05360 [pdf, html, other]

Title: On an Inferential Semantics for Intuitionistic Sentential Logic

Alexander V. Gheorghiu

Subjects: Logic (math.LO)

Fri, 7 Mar 2025 (showing 3 of 3 entries )

[20] arXiv:2503.04471 [pdf, html, other]

Title: The Horizontal Direction

Tristan van der Vlugt

Comments: 30 pages, survey article, submitted to RIMS kokyuroku

Subjects: Logic (math.LO)

[21] arXiv:2503.04430 [pdf, html, other]

Title: Boolean Algebras as Clones

Arturo De Faveri

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[22] arXiv:2503.04192 [pdf, other]

Title: Cardinal Characteristics and Computability

Logan McDonald

Subjects: Logic (math.LO)