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 / edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 8984Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015.Description: 1 online resource (XIV, 333 p. 47 ill.)ISBN: - 9783662469064
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
|
National Library of India | Available | EBK000025276ENG |
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?.
There are no comments on this title.
