Logic in Computer Science

Authors and titles for December 2021

[51] arXiv:2112.14962 [pdf, other]

Title: Exponentially Handsome Proof Nets and Their Normalization

Matteo Acclavio (University of Luxembourg)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 1-25

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:2112.14963 [pdf, other]

Title: A Deep Inference System for Differential Linear Logic

Matteo Acclavio (University of Luxembourg, Belval, Luxembourg), Giulio Guerrieri (University of Bath, Department of Computer Science, Bath, United Kingdom)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 26-49

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2112.14964 [pdf, other]

Title: Super Exponentials in Linear Logic

Esaïe Bauer (Univ Lyon, EnsL, UCBL, CNRS, LIP), Olivier Laurent (Univ Lyon, EnsL, UCBL, CNRS, LIP)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 50-73

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:2112.14965 [pdf, other]

Title: A Braided Lambda Calculus

Masahito Hasegawa (Kyoto University)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 94-108

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[55] arXiv:2112.14967 [pdf, other]

Title: Harmony in the Light of Computational Ludics

Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne), Yuta Takahashi (Ochanomizu University)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 132-156

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:2112.14994 [pdf, other]

Title: Soundness in Object-centric Workflow Petri Nets

Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin

Comments: This is an ongoing work that introduces basic notions and theoretical results needed for establishing the theoretical framework for checking soundness of object-centric Petri nets

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

[57] arXiv:2112.14996 [pdf, other]

Title: An Extension of Trakhtenbrot's Theorem

Reijo Jaakkola

Comments: Changed the title and improved the presentation

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:2112.15064 [pdf, other]

Title: Feferman-Vaught Decompositions for Prefix Classes of First Order Logic

Abhisekh Sankaran

Comments: 34 pages

Subjects: Logic in Computer Science (cs.LO)

[59] arXiv:2112.15524 [pdf, other]

Title: Structural Liveness of Immediate Observation Petri Nets

Petr Jancar, Jiri Valusek

Comments: Final version

Journal-ref: Fundamenta Informaticae, Volume 188, Issue 3 (April 18, 2023) fi:10281

Subjects: Logic in Computer Science (cs.LO)

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

Title: Finitary type theories with and without contexts

Philipp G. Haselwarter, Andrej Bauer

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

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

Title: SaDe: Learning Models that Provably Satisfy Domain Constraints

Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel

Comments: 16 pages

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[62] arXiv:2112.00621 (cross-list from cs.OH) [pdf, other]

Title: A Two-Level Approximate Logic Synthesis Combining Cube Insertion and Removal

Gabriel Ammes, Walter Lau Neto, Paulo Butzen, Pierre-Emmanuel Gaillardon, Renato P. Ribas

Comments: 5 Pages, submitted to IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Subjects: Other Computer Science (cs.OH); Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)

[63] arXiv:2112.01088 (cross-list from cs.LG) [pdf, other]

Title: Constrained Machine Learning: The Bagel Framework

Guillaume Perez, Sebastian Ament, Carla Gomes, Arnaud Lallouet

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[64] arXiv:2112.01204 (cross-list from eess.SY) [pdf, other]

Title: Formal verification of a controller implementation in fixed-point arithmetic

Lars Flessing, Grigory Devadze, Stefan Streif

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)

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

Title: Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)

Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Comments: 24 pages, plus appendices. Extended version of a paper in the Post-proceedings of TYPES 2021. arXiv admin note: text overlap with arXiv:2104.14759

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

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

Title: An Impossible Asylum

Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki

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

[67] arXiv:2112.02349 (cross-list from quant-ph) [pdf, other]

Title: Resource Theories as Quantale Modules

Tomáš Gonda

Comments: PhD thesis submitted to the University of Waterloo; supervised by Robert W. Spekkens; submitted on September 23, 2021; defended on November 2, 2021. 174 pages, 3 figures, all comments are welcome

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

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

Title: Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

Prithviraj Sen, Breno W. S. R. de Carvalho, Ryan Riegel, Alexander Gray

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[69] arXiv:2112.04251 (cross-list from cs.SE) [pdf, other]

Title: FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller

Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan

Comments: 22 pages, 3 figures

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

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

Title: A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value

Antti Valmari, Lauri Hella

Comments: 39 pages, 1 figure

Journal-ref: Notre Dame J. Formal Logic 64(1): 61--93 (February 2023)

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

[71] arXiv:2112.04476 (cross-list from cs.GT) [pdf, other]

Title: Canonical Representations for Direct Generation of Strategies in High-level Petri Games

Manuel Gieseking, Nick Würdemann

Comments: 30 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:2103.10207

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

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

Title: Quotients of span categories that are allegories and the representation of regular categories

S. Naser Hosseini, Amir R. Shir Ali Nasab, Walter Tholen, Leila Yeganeh

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

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

Title: Compositional Test Generation of Industrial Synchronous Systems

Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

Comments: 22 pages, 5 figures, 2 tables. Rejected from VMCAI 2021

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

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

Title: Logical Boltzmann Machines

Son N. Tran, Artur d'Avila Garcez

Comments: 15 pages, 5 figures, 2 tables

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[75] arXiv:2112.05964 (cross-list from cs.PL) [pdf, other]

Title: Overcoming Restraint: Composing Verification of Foreign Functions with Cogent

Louis Cheung, Liam O'Connor, Christine Rizkallah

Comments: This paper should have been submitted as an update for arXiv:2102.09920

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)