| Reference : Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extende... |
| Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
| Physical, chemical, mathematical & earth Sciences : Mathematics Engineering, computing & technology : Computer science Arts & humanities : Philosophy & ethics Arts & humanities : Multidisciplinary, general & others | |||
| Computational Sciences | |||
| http://hdl.handle.net/10993/33609 | |||
| Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract) | |
| English | |
Benzmüller, Christoph  [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)] | |
| 11-Nov-2017 | |
| Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings | |
| Benzmüller, Christoph | |
| Springer | |
| Lecture Notes in Computer Science | |
| 7-11 | |
| No | |
| Yes | |
| International | |
| 978-3-319-70847-8 | |
| Brazilian Symposium on Formal Methods | |
| from 27-11-2017 to 1-12-2017 | |
| [en] Automated Reasoning ; Universal Reasoning ; Semantic Embedding ; Higher Order Logic | |
| [en] The quest for a most general framework supporting universal reasoning is very prominently represented in the works of Leibniz. He envisioned a scientia generalis founded on a characteristica universalis, that is, a most universal formal language in which all knowledge about the world and the sciences can be encoded. A quick study of the survey literature on logical formalisms suggests that quite the opposite to Leibniz’ dream has become reality. Instead of a characteristica universalis, we are today facing a very rich and heterogenous zoo of different logical systems, and instead of converging towards a single superior logic, this logic zoo is further expanding, eventually even at accelerated pace. As a consequence, the unified vision of Leibniz seems farther away than ever before. However, there are also some promising initiatives to counteract these diverging developments. Attempts at unifying approaches to logic include categorial logic algebraic logic and coalgebraic logic. | |
| Researchers ; Professionals ; Students ; General public | |
| http://hdl.handle.net/10993/33609 | |
| 10.1007/978-3-319-70848-5_2 | |
| http://christoph-benzmueller.de/papers/C66.pdf | |
| 7--11
10623 |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
