Logic, Language, Information, and Computation

1. Front Matter

   Pages I-X

   PDF

2. Graph Turing Machines

   • Nathanael L. Ackerman, Cameron E. Freer

   Pages 1-13

3. Independence-Friendly Logic Without Henkin Quantification

   • Fausto Barbero, Lauri Hella, Raine Rönnholm

   Pages 14-30

4. Total Search Problems in Bounded Arithmetic and Improved Witnessing

   • Arnold Beckmann, Jean-José Razafindrakoto

   Pages 31-47

5. On the Reflection Calculus with Partial Conservativity Operators

   • Lev D. Beklemishev

   Pages 48-67

6. On the Length of Medial-Switch-Mix Derivations

   • Paola Bruscoli, Lutz Straßburger

   Pages 68-79

7. Proof Theory and Ordered Groups

   • Almudena Colacito, George Metcalfe

   Pages 80-91

8. Constructive Canonicity for Lattice-Based Fixed Point Logics

   • Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao

   Pages 92-109

9. Non-commutative Logic for Compositional Distributional Semantics

   • Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell

   Pages 110-124

10. On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order

    • Flavio Ferrarotti, Senén González, José María Turull-Torres

    Pages 125-139

11. Computable Quotient Presentations of Models of Arithmetic and Set Theory

    • Michał Tomasz Godziszewski, Joel David Hamkins

    Pages 140-152

12. Lattice Logic Properly Displayed

    • Giuseppe Greco, Alessandra Palmigiano

    Pages 153-169

13. Shift Registers Fool Finite Automata

    • Bjørn Kjos-Hanssen

    Pages 170-181

14. The Lambek Calculus with Iteration: Two Variants

    • Stepan Kuznetsov

    Pages 182-198

15. Multi-type Display Calculus for Semi De Morgan Logic

    • Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

    Pages 199-215

16. Dependent Event Types

    • Zhaohui Luo, Sergei Soloviev

    Pages 216-228

17. A Geometry of Interaction Machine for Gödel’s System T

    • Ian Mackie

    Pages 229-241

18. Disjoint Fibring of Non-deterministic Matrices

    • Sérgio Marcelino, Carlos Caleiro

    Pages 242-255

19. Generalized Relations in Linguistics and Cognition

    • Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden

    Pages 256-270

20. Concrete Mathematics. Finitistic Approach to Foundations

    • Marcin Mostowski, Marek Czarnecki

    Pages 271-280

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers  were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. 

• agents
• applied computing
• artificial intelligence
• complexity theory
• cut elimination
• finite element method
• formal logic
• foundations
• language
• linear feedback
• modal logic
• proof theory
• problem solving
• semantics
• shift registers
• substructural logics
• theory of computation
• algorithm analysis and problem complexity

• Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland

  Juliette Kennedy

• Centro de Informática, Recife, Brazil

  Ruy J.G.B. de Queiroz

Policies and ethics