Logic between expressivity and complexity

Authors
Publication date 2010
Host editors
  • J. Giesl
  • R. Hähnle
Book title Automated Reasoning
Book subtitle 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
ISBN
  • 9783642142024
ISBN (electronic)
  • 9783642142031
Series Lecture Notes in Computer Science
Event 5th International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK
Pages (from-to) 122-126
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract Automated deduction is not just application or implementation of logical systems. The field of computational logic also poses deep challenges to our understanding of logic itself. I will discuss some key issues. This text is just an appetizer that will be elaborated in the lecture.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-14203-1_10
Permalink to this page
Back