Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

✍ Scribed by Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2017
• Tongue: English
• Leaves: 411
• Series: Lecture Notes in Computer Science 10388
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages I-X
Graph Turing Machines....Pages 1-13
Independence-Friendly Logic Without Henkin Quantification....Pages 14-30
Total Search Problems in Bounded Arithmetic and Improved Witnessing....Pages 31-47
On the Reflection Calculus with Partial Conservativity Operators....Pages 48-67
On the Length of Medial-Switch-Mix Derivations....Pages 68-79
Proof Theory and Ordered Groups....Pages 80-91
Constructive Canonicity for Lattice-Based Fixed Point Logics....Pages 92-109
Non-commutative Logic for Compositional Distributional Semantics....Pages 110-124
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order....Pages 125-139
Computable Quotient Presentations of Models of Arithmetic and Set Theory....Pages 140-152
Lattice Logic Properly Displayed....Pages 153-169
Shift Registers Fool Finite Automata....Pages 170-181
The Lambek Calculus with Iteration: Two Variants....Pages 182-198
Multi-type Display Calculus for Semi De Morgan Logic....Pages 199-215
Dependent Event Types....Pages 216-228
A Geometry of Interaction Machine for Gödel’s System T....Pages 229-241
Disjoint Fibring of Non-deterministic Matrices....Pages 242-255
Generalized Relations in Linguistics and Cognition....Pages 256-270
Concrete Mathematics. Finitistic Approach to Foundations....Pages 271-280
Solovay’s Completeness Without Fixed Points....Pages 281-294
An Epistemic Generalization of Rationalizability....Pages 295-303
Knowledge Is a Diamond....Pages 304-320
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs....Pages 321-335
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations....Pages 336-348
Substructural Logics with a Reflexive Transitive Closure Modality....Pages 349-357
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic....Pages 358-370
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics....Pages 371-386
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces....Pages 387-400
Back Matter....Pages 401-401

✦ Subjects

Mathematical Logic and Formal Languages;Artificial Intelligence (incl. Robotics);Symbolic and Algebraic Manipulation;Algorithm Analysis and Problem Complexity