Logic between expressivity and complexity
| Authors | |
|---|---|
| Publication date | 2010 |
| Host editors |
|
| Book title | Automated Reasoning |
| Book subtitle | 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| 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 |
|
| 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
(Final published version)
|
| Permalink to this page | |