Logic, language, and computation [electronic resource] : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers / Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke (eds.).
International Tbilisi Symposium on Logic, Language, and Computation (10th : 2013 : Gudauri, Georgia); Aher, Martin, editor.; Hole, Daniel, editor.; Jeřábek, Emil, editor.; Kupke, C. (Clemens), editor.
2015
QA76.9.L63 I58 2015eb
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Logic, language, and computation [electronic resource] : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers / Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke (eds.).
Meeting Name
International Tbilisi Symposium on Logic, Language, and Computation (10th : 2013 : Gudauri, Georgia)
ISBN
9783662469064 electronic book
3662469065 electronic book
9783662469057
DOI
https://doi.org/10.1007/978-3-662-46906-4
Published
Heidelberg : Springer, 2015.
Language
English
Description
1 online resource (xiv, 333 pages) : illustrations.
Item Number
10.1007/978-3-662-46906-4 doi
Call Number
QA76.9.L63 I58 2015eb
Dewey Decimal Classification
005.101/5113
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 15, 2015).
Added Author
Aher, Martin, editor.
Hole, Daniel, editor.
Jeřábek, Emil, editor.
Kupke, C. (Clemens), editor.
Series
Lecture notes in computer science ; 8984.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Research on aspect: Reflections and new frontiers
Tutorial on admissible rules in Gudauri
Deontic conflicts and multiple violations
Admissibility and unifiability in contact logics
F-LTAG Semantics for issues around focusing
The dialect dictionaries for representativeness and morphological annotation in Georgian dialect corpus
Duality and universal models for the meet-implication fragment of IPC
Cut-elimination and proof schemata
Towards a suppositional in-quisitive semantics
models built from models of arithmetic
Positive formulas in intuitionistic and minimal logic
Unless and until: A compositional analysis
Frame theory, dependence logic and strategies
Uniqueness and possession: Typological evidence for type shifts in nominal determination
Alternative semantics for Visser's propositional logics
Between-noun comparisons
On the licensing of argument conditionals
Biaspectual Verbs: A marginal category?.

Browse Subjects

Show more subjects...

Statistics

from
to
Export