Logic, Language, and Computation

Guram Bezhanishvili

ISBN 10: 3642369758 / ISBN 13: 9783642369759

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2013, 2013

About this Item

Neuware -This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Seller Inventory # 9783642369759

Bibliographic Details

• Title: Logic, Language, and Computation
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2013
• Publication Date: 2013
• Language: English
• ISBN 10: 3642369758
• ISBN 13: 9783642369759
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.