Logic

Authors and titles for August 2021

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

Title: A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation

Nils Kürbis

Journal-ref: Bulletin of the Section of Logic 48/2 (2019): 81-97

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

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

Title: Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Nils Kürbis

Journal-ref: Bulletin of the Section of Logic 48/4 (2019): 299-317

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

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

Title: Definite Descriptions in Intuitionist Positive Free Logic

Nils Kürbis

Journal-ref: Logic and Logical Philosophy 30/2 (2021): 327-358

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

[54] arXiv:2108.02168 (cross-list from math.FA) [pdf, other]

Title: On the commutant of $B(H)$ in its ultrapower

Emmanuel Chetcuti, Beatriz Zamora-Aviles

Comments: Comments are welcome!

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[55] arXiv:2108.03022 (cross-list from cs.AI) [pdf, other]

Title: Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

Viktor Besin, Markus Hecher, Stefan Woltran

Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Logic (math.LO)

[56] arXiv:2108.03415 (cross-list from math.CT) [pdf, other]

Title: An algebraic approach to the completions of elementary doctrines

Davide Trotta

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

[57] arXiv:2108.03416 (cross-list from math.CT) [pdf, other]

Title: The existential completion

Davide Trotta

Journal-ref: Theory and Applications of Categories, Vol. 35, 2020, No. 43, pp 1576-1607

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

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

Title: Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule, and a Correction

Nils Kürbis

Journal-ref: Archive for Mathematical Logic 2021

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

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

Title: Proof-Theory and Semantics for a Theory of Definite Descriptions

Nils Kürbis

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

[60] arXiv:2108.05231 (cross-list from cs.DM) [pdf, other]

Title: Nonexistence of a Universal Algorithm for Traveling Salesman Problems in Constructive Mathematics

Linglong Dai

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic (math.LO)

[61] arXiv:2108.05569 (cross-list from cs.DM) [pdf, other]

Title: Agnostic Online Learning and Excellent Sets

Maryanthe Malliaris, Shay Moran

Subjects: Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[62] arXiv:2108.05714 (cross-list from math.HO) [pdf, other]

Title: The Banach-Tarski Paradox

Katie Buchhorn

Subjects: History and Overview (math.HO); Functional Analysis (math.FA); Logic (math.LO)

[63] arXiv:2108.05735 (cross-list from physics.hist-ph) [pdf, other]

Title: Indeterministic finite-precision physics and intuitionistic mathematics

Tein van der Lugt

Comments: Completed in July 2020 in partial fulfillment of the requirements for Bachelors of Science in Physics and in Mathematics at Radboud University Nijmegen

Subjects: History and Philosophy of Physics (physics.hist-ph); Mathematical Physics (math-ph); Logic (math.LO)

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

Title: Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it

Nils Kürbis

Journal-ref: Journal of Applied Logics 8/2 (2021): 531-556; Journal of Applied Logics 8/7 (2021): 2259-2261

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

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

Title: Natural Deduction Calculus for First-Order Logic

Alrubyli, Yazeed

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

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

Title: Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)

Willem Conradie, Valntin Goranko, Peter Jipsen

Comments: 27 pages

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

[67] arXiv:2108.07324 (cross-list from cs.IT) [pdf, other]

Title: First-Order Theory of Probabilistic Independence and Single-Letter Characterizations of Capacity Regions

Cheuk Ting Li

Comments: 23 pages

Subjects: Information Theory (cs.IT); Logic (math.LO); Probability (math.PR)

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

Title: Undecidable translational tilings with only two tiles, or one nonabelian tile

Rachel Greenfeld, Terence Tao

Comments: Revised version incorporating referee's suggestions, minor typos corrected

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

[69] arXiv:2108.08413 (cross-list from math.AT) [pdf, other]

Title: Actads

Sophie Kriz

Comments: This paper has been accepted for publication in SCIENCE CHINA Mathematics

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

[70] arXiv:2108.08555 (cross-list from math.DS) [pdf, other]

Title: Bounds for a nonlinear ergodic theorem for Banach spaces

Anton Freund, Ulrich Kohlenbach

Subjects: Dynamical Systems (math.DS); Functional Analysis (math.FA); Logic (math.LO)

[71] arXiv:2108.09223 (cross-list from math.OA) [pdf, other]

Title: Existentially closed W*-probability spaces

Isaac Goldbring, Cyril Houdayer

Comments: 38 pages. Final draft. To appear in Mathematische Zeitschrift

Subjects: Operator Algebras (math.OA); Logic (math.LO)

[72] arXiv:2108.09819 (cross-list from quant-ph) [pdf, other]

Title: Logical aspects of quantum structures

John Harding, Zhenghan Wang

Comments: 17 pages that include 3 diagrams

Subjects: Quantum Physics (quant-ph); Logic (math.LO); Operator Algebras (math.OA)

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

Title: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Logic (math.LO)

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

Title: Convexity via Weak Distributive Laws

Filippo Bonchi, Alessio Santamaria

Comments: arXiv admin note: substantial text overlap with arXiv:2012.14778

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 4 (November 23, 2022) lmcs:8389

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

[75] arXiv:2108.11835 (cross-list from math.OA) [pdf, other]

Title: Stably projectionless Fra\"iss\'e limits

Bhishan Jacelon, Alessandro Vignati

Comments: 34 pages, accepted version, to appear in Studia Mathematica

Subjects: Operator Algebras (math.OA); Logic (math.LO)