Logic

Authors and titles for recent submissions

• Tue, 29 Apr 2025
• Mon, 28 Apr 2025
• Fri, 25 Apr 2025
• Thu, 24 Apr 2025
• Wed, 23 Apr 2025

See today's new changes

Tue, 29 Apr 2025 (continued, showing last 1 of 3 entries )

[3] arXiv:2504.19011 [pdf, html, other]

Title: Lukasiewicz unification with finitely many variables

Marco Abbadini, Luca Spada

Subjects: Logic (math.LO)

Mon, 28 Apr 2025 (showing 4 of 4 entries )

[4] arXiv:2504.18381 [pdf, html, other]

Title: Isomorphism Classes of Generating Sets

Tom Benhamou, James Cummings, Gabriel Goldberg, Yair Hayut, Alejandro Poveda

Subjects: Logic (math.LO)

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

Title: Homogeneity in Coxeter groups and split crystallographic groups

Simon André, Gianluca Paolini

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

[6] arXiv:2504.18240 (cross-list from cs.LO) [pdf, html, other]

Title: Tree Rewriting Calculi for Strictly Positive Logics

Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten

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

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

Title: Decomposition of Borel graphs and cohomology

Hiroki Ishikura

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

Fri, 25 Apr 2025 (showing 2 of 2 entries )

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

Title: Many-valued aspects of tense an related operators

Michal Botur, Jan Paseka, Richard Smolka

Subjects: Logic (math.LO); Category Theory (math.CT)

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

Title: Feasibility of Primality in Bounded Arithmetic

Raheleh Jalali, Ondřej Ježil

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

Thu, 24 Apr 2025 (showing 5 of 5 entries )

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

Title: Characterizing fragments of collection principle in set theory with model theoretic properties

Junhong Chen

Subjects: Logic (math.LO)

[11] arXiv:2504.16690 [pdf, other]

Title: Logic and Concepts in the 2-category of Topoi

Ivan Di Liberti, Lingyuan Ye

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

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

Title: Online and feasible presentability: from trees to modal algebras

Nikolay Bazhenov, Dariusz Kalociński, Michał Wrocławski

Comments: 26 pages, 2 figures, ICALP 2025

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[13] arXiv:2504.16617 (cross-list from cs.CR) [pdf, html, other]

Title: Security Science (SecSci), Basic Concepts and Mathematical Foundations

Dusko Pavlovic, Peter-Michael Seidel

Comments: 173 Pages, 67 Figures and Tables

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Information Theory (cs.IT); Social and Information Networks (cs.SI); Logic (math.LO)

[14] arXiv:2504.16111 (cross-list from math.RA) [pdf, html, other]

Title: Residuated lattices do not have the amalgamation property

Peter Jipsen, Simon Santschi

Comments: 2 pages, 1 figure

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

Wed, 23 Apr 2025 (showing 2 of 2 entries )

[15] arXiv:2504.15675 [pdf, html, other]

Title: The $λ$-PSP at $λ$-coanalytic sets

Fernando Barrera, Vincenzo Dimonte, Sandra Müller

Comments: 25 pages

Subjects: Logic (math.LO)

[16] arXiv:2504.15398 [pdf, html, other]

Title: Multiple gaps and some finitizations of club and CH

Jorge Antonio Cruz Chapital

Comments: 28 pages

Subjects: Logic (math.LO); General Topology (math.GN)