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.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46906-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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

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

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.

Keywords

  • Admissible rules
  • Algebraic logic
  • Computer science applications
  • Contextual semantics
  • Corpus linguistics
  • Formal semantics
  • Grade semantics
  • Inquisitive semantics
  • Intuitionistic logic
  • Language typology
  • Modal logic
  • Natural language semantics
  • Proof theory
  • Semantic frames
  • Theory of computation

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-7

  • eBook ISBN: 978-3-662-46906-4

  • 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, Formal Languages and Automata Theory, Natural Language Processing (NLP)

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46906-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)