Logic, Language, Information, and Computation  22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /  [electronic resource] : 
edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2015. 
 - 1 online resource (XX, 201 p. 14 ill.) 
 - Lecture Notes in Computer Science,  9160  0302-9743 ; .
<br/><br/>Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun and Profit -- From Residuated Lattices via GBI-algebras to BAOs -- Towards a Nominal Chomsky Hierarchy -- Multi-Linear Algebraic Semantics for Natural Language -- Categories of Games -- Learning in the limit, general topology, and modal logic -- The Word Problem for Finitely Presented Quandles is Undecidable -- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language -- On Topologically Relevant Fragments of the Logic of Linear Flows of Time -- An Equation-Based Classical Logic -- Cyclic multiplicative proof nets of linear logic with an application to language parsing -- A Dichotomy Result for Ramsey Quantifiers -- Parametric Polymorphism 
<br/><br/><label>ISBN: </label>9783662477090 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Algorithms.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Artificial intelligence.