Atjaunināt sīkdatņu piekrišanu

E-grāmata: Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Edited by , Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 8984
  • Izdošanas datums: 04-May-2015
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783662469064
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 8984
  • Izdošanas datums: 04-May-2015
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783662469064

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

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.

Research on Aspect: Reflections and New Frontiers
1(9)
Daniel Altshuler
Tutorial on Admissible Rules in Gudauri
10(8)
Rosalie Iemhoff
Deontic Conflicts and Multiple Violations
18(26)
Martin Aher
Admissibility and Unifiability in Contact Logics
44(17)
Philippe Balbiani
Cigdem Gencer
F-LTAG Semantics for Issues Around Focusing
61(21)
Kata Balogh
Dialect Dictionaries in the Georgian Dialect Corpus
82(15)
Marina Beridze
Liana Lortkipanidze
David Nadaraia
Duality and Universal Models for the Meet-Implication Fragment of IPC
97(20)
Nick Bezhanishvili
Dion Coumans
Samuel J. van Gool
Dick de Jongh
Cut-Elimination and Proof Schemata
117(20)
Cvetan Dunchev
Alexander Leitsch
Mikheil Rukhaia
Daniel Weller
Towards a Suppositional Inquisitive Semantics
137(20)
Jeroen Groenendijk
Floris Roelofsen
Kripke Models Built from Models of Arithmetic
157(18)
Paula Henk
Positive Formulas in Intuitionistic and Minimal Logic
175(15)
Dick de Jongh
Zhiguang Zhao
Unless and Until: A Compositional Analysis
190(20)
Gary Mar
Yuliya Manyakina
Amanda Caffary
Frame Theory, Dependence Logic and Strategies
210(24)
Ralf Naumann
Wiebke Petersen
Uniqueness and Possession: Typological Evidence for Type Shifts in Nominal Determination
234(23)
Albert Ortmann
Alternative Semantics for Visser's Prepositional Logics
257(19)
Katsuhiko Sano
Minghui Ma
Between-Noun Comparisons
276(14)
Galit W. Sassoon
On the Licensing of Argument Conditionals
290(20)
Kerstin Schwabe
Biaspectual Verbs: A Marginal Category?
310(23)
Yulia Zinova
Hana Filip
Author Index 333