Skip to main content
  • Conference proceedings
  • © 2015

Logic, Language, and Computation

10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

  • Up-to-date results
  • Conference tracks proceedings
  • Interaction between logic, language and computation
  • Includes supplementary material: sn.pub/extras

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

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

Conference series link(s): TbiLLC: International Tbilisi Symposium on Logic, Language, and Computation

Conference proceedings info: TbiLLC 2013.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

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

Table of contents (18 papers)

  1. Front Matter

    Pages I-XIV
  2. Tutorial on Admissible Rules in Gudauri

    • Rosalie Iemhoff
    Pages 10-17
  3. Admissibility and Unifiability in Contact Logics

    • Philippe Balbiani, Çiğdem Gencer
    Pages 44-60
  4. Dialect Dictionaries in the Georgian Dialect Corpus

    • Marina Beridze, Liana Lortkipanidze, David Nadaraia
    Pages 82-96
  5. Duality and Universal Models for the Meet-Implication Fragment of IPC

    • Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
    Pages 97-116
  6. Cut-Elimination and Proof Schemata

    • Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
    Pages 117-136
  7. Towards a Suppositional Inquisitive Semantics

    • Jeroen Groenendijk, Floris Roelofsen
    Pages 137-156
  8. Positive Formulas in Intuitionistic and Minimal Logic

    • Dick de Jongh, Zhiguang Zhao
    Pages 175-189
  9. Unless and Until: A Compositional Analysis

    • Gary Mar, Yuliya Manyakina, Amanda Caffary
    Pages 190-209
  10. Frame Theory, Dependence Logic and Strategies

    • Ralf Naumann, Wiebke Petersen
    Pages 210-233
  11. Alternative Semantics for Visser’s Propositional Logics

    • Katsuhiko Sano, Minghui Ma
    Pages 257-275
  12. Between-Noun Comparisons

    • Galit W. Sassoon
    Pages 276-289
  13. On the Licensing of Argument Conditionals

    • Kerstin Schwabe
    Pages 290-309
  14. Biaspectual Verbs: A Marginal Category?

    • Yulia Zinova, Hana Filip
    Pages 310-332
  15. Back Matter

    Pages 333-333

Other Volumes

  1. Logic, Language, and Computation

About this book

This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them.

The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective.

Editors and Affiliations

  • University of Tartu, Tartu, Estonia

    Martin Aher

  • Universität Stuttgart, Stuttgart, Germany

    Daniel Hole

  • Institute of Mathematics, AS CR, Prague, Czech Republic

    Emil Jeřábek

  • University of Strathclyde, Glasgow, United Kingdom

    Clemens Kupke

Bibliographic Information

  • Book Title: Logic, Language, and Computation

  • Book Subtitle: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

  • Editors: Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-662-46906-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2015

  • Softcover ISBN: 978-3-662-46905-7Published: 19 May 2015

  • eBook ISBN: 978-3-662-46906-4Published: 04 May 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 333

  • Number of Illustrations: 47 b/w illustrations

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Natural Language Processing (NLP)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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