Back to Search
Start Over
A computational glimpse at the Leibniz and Frege hierarchies.
- Source :
-
Annals of Pure & Applied Logic . Jan2018, Vol. 169 Issue 1, p1-20. 20p. - Publication Year :
- 2018
-
Abstract
- In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically, this problem is in general undecidable. More precisely, we show that there is no algorithm that classifies the logic of a finite consistent Hilbert calculus in the Leibniz and in the Frege hierarchies. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 01680072
- Volume :
- 169
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Annals of Pure & Applied Logic
- Publication Type :
- Academic Journal
- Accession number :
- 126041126
- Full Text :
- https://doi.org/10.1016/j.apal.2017.07.003