Advertisement

Logic and Its Applications

4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

  • Mohua Banerjee
  • Anil Seth
Conference proceedings ICLA 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6521)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6521)

Table of contents

  1. Front Matter
  2. Peter Gärdenfors
    Pages 1-11
  3. Graham Priest
    Pages 12-18
  4. Wolfgang Thomas
    Pages 19-21
  5. Walter Dean, Rohit Parikh
    Pages 38-49
  6. Patrick Doherty, Tomasz Michalak, Jacek Sroka, Andrzej Szałas
    Pages 65-78
  7. Pietro Galliani
    Pages 79-89
  8. Sujata Ghosh, Fernando R. Velázquez-Quesada
    Pages 90-104
  9. Md. Aquil Khan, Minghui Ma
    Pages 124-136
  10. Jeff B. Paris, Alena Vencovská
    Pages 137-146
  11. Katsuhiko Sano
    Pages 147-161
  12. Denis I. Saveliev
    Pages 162-177
  13. Jeremy Seligman, Fenrong Liu, Patrick Girard
    Pages 178-188
  14. Hans van Ditmarsch, Tim French
    Pages 204-218
  15. Back Matter

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The 14 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 34 submissions. The papers present current research in all aspects of formal logic ranging from pure and applied logic to history of logic.

Keywords

Frege's Begriffsschrift algorithms buddhist logic category theory epistemic logic first degree entailment fuzzy logic fuzzy set theory inductive logic invariance principles many-valued logic modal logic probability logic propositional calculus recursion theory relational semantics rough set theory sequent calculus uncertain reasoning

Editors and affiliations

  • Mohua Banerjee
    • 1
  • Anil Seth
    • 2
  1. 1.Department of Mathematics and StatisticsIndian Institute of TechnologyKanpurIndia
  2. 2.Department of Computer Science and EngineeringIndian Institute of Technology KanpurKanpurIndia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-18026-2
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-18025-5
  • Online ISBN 978-3-642-18026-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site