Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Logic, Language, Information, and Computation

24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Juliette Kennedy

    1. Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ruy J.G.B. de Queiroz

    1. Centro de Informática, Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10388)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WoLLIC 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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. 

Similar content being viewed by others

Keywords

Table of contents (28 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Editors and Affiliations

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

    Juliette Kennedy

  • Centro de Informática, Recife, Brazil

    Ruy J.G.B. de Queiroz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation