Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

این کتاب مجموعه مقالات داوری نهمین سمپوزیوم بین المللی تفلیس در مورد منطق، زبان و محاسبات، TbiLLC 2011، برگزار شده در کوتایسی، گرجستان، در سپتامبر 2011 است. این کتاب شامل خلاصه ای از 3 آموزش ارائه شده در سمپوزیوم به همراه 13 مقاله کامل که با دقت بررسی و از بین مقالات ارسالی انتخاب شدند. مقالات در دو بخش، یکی در زبان و دیگری در منطق و محاسبات تنظیم شده است. طیفی از موضوعات تحت پوشش در بخش زبان شامل نحو زبان طبیعی، معناشناسی و عمل شناسی، چارچوب در معناشناسی زبان طبیعی، گونه شناسی زبانی و پدیده های گفتمانی است. مقالات در بخش منطق و محاسبات موضوعاتی مانند منطق سازنده، مودال، جبری و فلسفی و همچنین منطق برای کاربردهای علوم کامپیوتر را پوشش می‌دهند.

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.