Mirror operated in collaboration with local support

Logic

Authors and titles for recent submissions

[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 21 May 2020

[1]  arXiv:2005.10080 [pdf, ps, other]
Title: Proving P!=NP in first-order PA
Authors: Rupert McCallum
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[2]  arXiv:2005.10058 [pdf, ps, other]
Title: On embedding Lambek calculus into commutative categorial grammars
Authors: Sergey Slavnov
Subjects: Logic (math.LO); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[3]  arXiv:2005.10167 (cross-list from math.CV) [pdf, ps, other]
Title: Blurrings of the $j$-function
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Logic (math.LO)

Wed, 20 May 2020

[4]  arXiv:2005.09519 [pdf, ps, other]
Title: On the closed Ramsey numbers $R^{cl}(ω+n,3)$
Subjects: Logic (math.LO); Combinatorics (math.CO)
[5]  arXiv:2005.09135 (cross-list from math.CT) [pdf, ps, other]
Title: Quillen Model Structures-Based Notions of Locality of Logics over Finite Models
Authors: Hendrick Maia
Subjects: Category Theory (math.CT); Logic (math.LO)

Tue, 19 May 2020

[6]  arXiv:2005.08506 [pdf, other]
Title: Unification in pretabular extensions of S4
Comments: 12 pages, 3 figures
Subjects: Logic (math.LO)
[7]  arXiv:2005.07912 [pdf, ps, other]
Title: Cohen real or random real: effect on strong measure zero sets and strongly meager sets
Subjects: Logic (math.LO)
[8]  arXiv:2005.07829 [pdf, ps, other]
Title: On bi-embeddable categoricity of algebraic structures
Subjects: Logic (math.LO)

Mon, 18 May 2020

[9]  arXiv:2005.07220 (cross-list from math.GR) [pdf, ps, other]
Title: Acylindrical hyperbolicity and existential closeness
Authors: Simon André
Comments: 7 pages
Subjects: Group Theory (math.GR); Logic (math.LO)

Fri, 15 May 2020

[10]  arXiv:2005.07050 [pdf, ps, other]
Title: On abstract F-systems. A graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks
Comments: 16 pages
Subjects: Logic (math.LO); Artificial Intelligence (cs.AI)
[11]  arXiv:2005.06854 [pdf, ps, other]
Title: Ramsey's theorem for pairs, collection, and proof size
Comments: 32 pages
Subjects: Logic (math.LO)
[12]  arXiv:2005.06533 [pdf, ps, other]
Title: Nilpotency and the Hamiltonian property for cancellative residuated lattices
Subjects: Logic (math.LO)
[13]  arXiv:2005.07120 (cross-list from math.GR) [pdf, ps, other]
Title: A model theoretic solution to a problem of László Fuchs
Comments: 10 pages
Subjects: Group Theory (math.GR); Logic (math.LO)
[14]  arXiv:2005.06818 (cross-list from cs.FL) [pdf, other]
Title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[15]  arXiv:2005.06814 (cross-list from cs.DC) [pdf, other]
Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]
Ϸ