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