Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers /: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers. (2015)

• Record Type: Book
• Other Titles: TbiLLC 2013
• Further Information: Note: Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke (eds.).
• Editors: Aher, Martin; Hole, Daniel; Jeřábek, Emil; Kupke, C (Clemens)
• Other Names: International Tbilisi Symposium on Logic, Language and Computation, 10th
• Contents: 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?
• Publisher Details: Heidelberg : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiv, 333 pages), illustrations
• Subjects: 005.101/5113; Computer logic -- Congresses; Programming languages (Electronic computers) -- Semantics -- Congresses; Computational linguistics -- Congresses; Computational linguistics; Computer logic; Programming languages (Electronic computers) -- Semantics; Mechanical Engineering; Engineering & Applied Sciences; Computer Science; Mechanical Engineering - General; Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Language Translation and Linguistics; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783662469064; 3662469065; 3662469057; 9783662469057
• Related ISBNs: 9783662469057
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed May 15, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.