Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5378)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): ICLA: Indian Conference on Logic and Its Applications
Conference proceedings info: ICLA 2009.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
About this book
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009.
The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.
Editors and Affiliations
-
Institute of Mathematical Sciences, Chennai, India
R. Ramanujam
-
National Institute of Advanced Studies, Indian Institute of Science Campus, Bangalore, India
Sundar Sarukkai
Bibliographic Information
Book Title: Logic and Its Applications
Book Subtitle: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings
Editors: R. Ramanujam, Sundar Sarukkai
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-92701-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-540-92700-6Published: 18 December 2008
eBook ISBN: 978-3-540-92701-3Published: 07 January 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 269
Topics: Artificial Intelligence, Programming Techniques, Programming Languages, Compilers, Interpreters, Theory of Computation, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages