We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Jul 2022, skipping first 100

[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]
[101]  arXiv:2207.04779 (cross-list from math.HO) [pdf, ps, other]
Title: Mathematical Proof Between Generations
Comments: 17 pages, 1 figure
Subjects: History and Overview (math.HO); Logic in Computer Science (cs.LO)
[102]  arXiv:2207.05740 (cross-list from math.ST) [pdf, ps, other]
Title: The d-separation criterion in Categorical Probability
Comments: 34 pages
Subjects: Statistics Theory (math.ST); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR); Machine Learning (stat.ML)
[103]  arXiv:2207.05832 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras
Comments: 14 pages, to be published in the proceedings of QPL 2022
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[104]  arXiv:2207.06993 (cross-list from math.LO) [pdf, ps, other]
Title: A fundamental non-classical logic
Comments: Added Definition 6.1, Propositions 2.3, 4.33, and 6.2, Remarks 1.1 and 1.2, Theorems 2.4, 4.28, 5.1, 6.3, and 6.4, and references
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[105]  arXiv:2207.07353 (cross-list from math.DS) [pdf, ps, other]
Title: A category-theoretic proof of the ergodic decomposition theorem
Comments: 29 pages
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[106]  arXiv:2207.07397 (cross-list from math.LO) [pdf, ps, other]
Title: First-order logic with self-reference
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[107]  arXiv:2207.10871 (cross-list from math.LO) [pdf, ps, other]
Title: Elimination and cut-elimination in multiplicative linear logic
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[108]  arXiv:2207.11593 (cross-list from math.CO) [pdf, ps, other]
Title: A very sharp threshold for first order logic distinguishability of random graphs
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO); Logic (math.LO); Probability (math.PR)
[109]  arXiv:2207.11629 (cross-list from math.LO) [pdf, other]
Title: Presenting with Quantitative Inequational Theories
Authors: Todd Schmid
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[110]  arXiv:2207.12596 (cross-list from math.LO) [pdf, ps, other]
Title: Canonicity in power and modal logics of finite achronal width
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[111]  arXiv:2207.12786 (cross-list from math.LO) [pdf, ps, other]
Title: Tolerance and degrees of truth
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[112]  arXiv:2207.14088 (cross-list from math.PR) [pdf, other]
Title: On the Sequential Probability Ratio Test in Hidden Markov Models
Comments: 28 pages, 10 figures, submitted to CONCUR 2022
Subjects: Probability (math.PR); Logic in Computer Science (cs.LO); Statistics Theory (math.ST)
[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2211, contact, help  (Access key information)