Logic in Computer Science

Authors and titles for cs.LO in Apr 2022

[1]  arXiv:2204.00076 [pdf, ps, other]

Title: Reachability Logic for Low-Level Programs

Authors: Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2204.00435 [pdf, ps, other]

Title: The higher dimensional propositional calculus

Authors: Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda, Francesco Paoli, Antonino Salibra

Comments: arXiv admin note: text overlap with arXiv:1806.06537

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:2204.00576 [pdf, ps, other]

Title: Modular SAT-based techniques for reasoning tasks in team semantics

Authors: Arnaud Durand, Juha Kontinen, Jouko Väänänen

Comments: 14 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:2204.02076 [pdf, ps, other]

Title: Separability and harmony in ecumenical systems

Authors: Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Comments: 26 pages

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:2204.02108 [pdf, other]

Title: When Locality Meets Preservation

Authors: Aliaume Lopez

Comments: 40 pages, 8 figures

Subjects: Logic in Computer Science (cs.LO)

[6]  arXiv:2204.02199 [pdf, ps, other]

Title: On an ecumenical natural deduction with stoup -- Part I: The propositional case

Authors: Luiz Carlos Pereira, Elaine Pimentel

Comments: 26 pages

Subjects: Logic in Computer Science (cs.LO)

[7]  arXiv:2204.02643 [pdf, ps, other]

Title: Compositional pre-processing for automated reasoning in dependent type theory

Authors: Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial

Journal-ref: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '23), January 16-17, 2023, Boston, MA, USA

Subjects: Logic in Computer Science (cs.LO)

[8]  arXiv:2204.03415 [pdf, ps, other]

Title: Proceedings 16th Logical and Semantic Frameworks with Applications

Authors: Mauricio Ayala-Rincon (Universidade de Brasilia), Eduardo Bonelli (Stevens Institute of Technology)

Journal-ref: EPTCS 357, 2022

Subjects: Logic in Computer Science (cs.LO)

[9]  arXiv:2204.03870 [pdf, ps, other]

Title: A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on

Authors: Tom Hirschowitz (LAMA), Ambroise Lafont

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

[10]  arXiv:2204.03882 [pdf, ps, other]

Title: About Opposition and Duality in Paraconsistent Type Theory

Authors: Juan C. Agudelo-Agudelo (Universidad de Antioquia), Andrés Sicard-Ramírez (Universidad EAFIT)

Comments: In Proceedings LSFA 2021, arXiv:2204.03415

Journal-ref: EPTCS 357, 2022, pp. 25-37

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