Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 27 мая 2015 г.
Аннотация:The Logic of Proofs LP solved a long standing Gödel's problem concerning his provability calculus. It also opened new lines of research in proof theory, modal logic, typed programming languages, knowledge representation, etc. The propositional logic of proofs is decidable and admits a complete axiomatization. In this paper we show that the first order logic of proofs is not recursively axiomatizable.