Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 125

[126]  arXiv:2105.05626 (cross-list from quant-ph) [pdf, ps, other]

Title: Reversify any sequential algorithm

Authors: Yuri Gurevich

Subjects: Quantum Physics (quant-ph); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Logic (math.LO)

[127]  arXiv:2105.07734 (cross-list from math.LO) [pdf, ps, other]

Title: Induction and Skolemization in saturation theorem proving

Authors: Stefan Hetzl, Jannik Vierling

Comments: Revised version

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

[128]  arXiv:2105.08422 (cross-list from math.LO) [pdf, ps, other]

Title: Parametricity and Semi-Cubical Types

Authors: Hugo Moeneclaey

Comments: 29 pages, presented at LICS 2021

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

[129]  arXiv:2105.10542 (cross-list from math.CO) [pdf, ps, other]

Title: Big Ramsey degrees of the generic partial order

Authors: Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubička, Matěj Konečný, Lluis Vena, Andy Zucker

Comments: 6 pages, extended abstract accepted to EUROCOMB 2021

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

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

Title: Homotopies in Multiway (Non-Deterministic) Rewriting Systems as $n$-Fold Categories

Authors: Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

Comments: 16 pages, 5 figures

Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Combinatorics (math.CO)

[131]  arXiv:2105.10853 (cross-list from q-bio.MN) [pdf, other]

Title: Parametric Toricity of Steady State Varieties of Reaction Networks

Authors: Hamid Rahkooy, Thomas Sturm

Comments: Computations available as ancillary files

Subjects: Molecular Networks (q-bio.MN); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[132]  arXiv:2105.11398 (cross-list from econ.TH) [pdf, other]

Title: A Category for Extensive-Form Games

Authors: Peter A. Streufert

Comments: 60 pages, 17 figures, formulation entirely different from arXiv:2004.11196

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

[133]  arXiv:2105.12185 (cross-list from math.LO) [pdf, other]

Title: The Pseudofinite Monadic Second Order Theory of Linear Order

Authors: Deacon Linkhorn

Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[134]  arXiv:2105.12251 (cross-list from math.LO) [pdf, ps, other]

Title: A Canonical Fuzzy Logic

Authors: Osvaldo Skliar, Sherry Gapper, Ricardo E. Monge

Comments: 28 pages

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

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

Title: Dialectica Petri Nets

Authors: Elena Di Lavore, Wilmer Leal, Valeria de Paiva

Comments: Reorder sections

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

[136]  arXiv:2105.14047 (cross-list from quant-ph) [pdf, other]

Title: Generators and Relations for Un(Z[1/2,i])

Authors: Xiaoning Bian (Dalhousie University), Peter Selinger (Dalhousie University)

Comments: In Proceedings QPL 2021, arXiv:2109.04886

Journal-ref: EPTCS 343, 2021, pp. 145-164

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)

[137]  arXiv:2105.09202 (cross-list from math.LO) [pdf, ps, other]

Title: Neighbourhood semantics for graded modal logic

Authors: Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

Comments: removed journal template

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