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

Logic in Computer Science

Authors and titles for cs.LO in Jan 2021, skipping first 50

[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]
[51]  arXiv:2101.10486 [pdf, other]
Title: Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)
Authors: Lachlan McPheat (University College London), Mehrnoosh Sadrzadeh (University College London), Hadi Wazni (Queen Mary University London), Gijs Wijnholds (Utrecht University)
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.03074
Journal-ref: EPTCS 333, 2021, pp. 168-182
Subjects: Logic in Computer Science (cs.LO)
[52]  arXiv:2101.10487 [pdf, other]
Title: Proof Theory of Partially Normal Skew Monoidal Categories
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 230-246
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[53]  arXiv:2101.10488 [pdf, other]
Title: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
Authors: Paul Wilson (University of Southampton), Fabio Zanasi (University College London)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 247-260
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[54]  arXiv:2101.10490 [pdf, other]
Title: Behavioral Mereology: A Modal Logic for Passing Constraints
Authors: Brendan Fong (MIT), David Jaz Myers (Johns Hopkins), David I. Spivak (MIT)
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:1811.00420
Journal-ref: EPTCS 333, 2021, pp. 276-288
Subjects: Logic in Computer Science (cs.LO)
[55]  arXiv:2101.10493 [pdf, ps, other]
Title: Dualizing sup-preserving endomaps of a complete lattice
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 335-346
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[56]  arXiv:2101.10494 [pdf, ps, other]
Title: Products in a Category with Only One Object
Authors: Richard Statman (Carnegie Mellon University)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 347-353
Subjects: Logic in Computer Science (cs.LO)
[57]  arXiv:2101.10720 [pdf, ps, other]
Title: A program logic for fresh name generation
Comments: 15 core pages accepted for publication in FSEN 2021, +60 pages of proofs included in appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[58]  arXiv:2101.11479 [pdf, other]
Title: Normalization for Cubical Type Theory
Comments: LICS 2021
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[59]  arXiv:2101.11727 [pdf, ps, other]
Title: Characterising Fixed Parameter Tractability of Query Evaluation over Guarded TGDs
Authors: Cristina Feier
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[60]  arXiv:2101.11730 [pdf, ps, other]
Title: Alignment Completeness for Relational Hoare Logics
Comments: Minor revision of original. To appear in LICS 2021 but this version has appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[61]  arXiv:2101.12029 [pdf, other]
Title: Type-Based Analysis of Logarithmic Amortised Complexity
Comments: 35 pages. arXiv admin note: text overlap with arXiv:1807.08242
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[62]  arXiv:2101.12045 [pdf, other]
Title: Compositional Game Theory, Compositionally
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 198-214
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[63]  arXiv:2101.12046 [pdf, other]
Title: Wiring diagrams as normal forms for computing in symmetric monoidal categories
Authors: Evan Patterson (Stanford University), David I. Spivak (MIT), Dmitry Vagner
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 49-64
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[64]  arXiv:2101.12349 [pdf, ps, other]
Title: Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices
Authors: Linh Anh Nguyen
Subjects: Logic in Computer Science (cs.LO)
[65]  arXiv:2101.12607 [pdf, ps, other]
Title: A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction
Subjects: Logic in Computer Science (cs.LO)
[66]  arXiv:2101.12683 [pdf, other]
Title: Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Comments: Full version of TACAS'21 submission
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[67]  arXiv:2101.00003 (cross-list from cs.CC) [pdf, ps, other]
Title: Yet another argument in favour of NP=CoNP
Comments: This article puts together the results shown in arXiv:2009.09802v1 and in arXiv:2012.07833v1 to show a proof of NP=CoNP. It is need to read these article to get the details on the proof presented here
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[68]  arXiv:2101.00485 (cross-list from cs.AI) [pdf, other]
Title: If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[69]  arXiv:2101.00589 (cross-list from cs.AI) [pdf, ps, other]
Title: diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
Authors: Matthias Nickles
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[70]  arXiv:2101.00718 (cross-list from cs.DS) [pdf, other]
Title: Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations
Comments: arXiv admin note: substantial text overlap with arXiv:1812.00421
Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[71]  arXiv:2101.00834 (cross-list from eess.SY) [pdf, other]
Title: Symbolic Control for Stochastic Systems via Parity Games
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)
[72]  arXiv:2101.00930 (cross-list from cs.PL) [pdf, ps, other]
Title: Lassie: HOL4 Tactics by Example
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[73]  arXiv:2101.01255 (cross-list from cs.FL) [pdf, ps, other]
Title: Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}$
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[74]  arXiv:2101.01968 (cross-list from cs.FL) [pdf, other]
Title: Positive first-order logic on words
Authors: Denis Kuperberg
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[75]  arXiv:2101.02310 (cross-list from cs.FL) [pdf, ps, other]
Title: Parallel Hyperedge Replacement Grammars
Authors: Graham Campbell
Comments: 40 pages, 2021
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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