Undecidable Iterative Propositional Calculus
- Авторлар: Bokov G.V.1
-
Мекемелер:
- Moscow State University, Leninskie Gory
- Шығарылым: Том 55, № 4 (2016)
- Беттер: 274-282
- Бөлім: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/233991
- DOI: https://doi.org/10.1007/s10469-016-9396-3
- ID: 233991
Дәйексөз келтіру
Аннотация
We consider iterative propositional calculi that are finite sets of propositional formulas together with modus ponens and an operation of superposition defined by a set of Mal’tsev operations. For such formulas, the question is studied whether the derivability problem for formulas is decidable. In the paper, we construct an undecidable iterative propositional calculus whose axioms depend on three variables. A derivation of formulas in the given calculus models the solution process for Post’s correspondence problem. In particular, we prove that the general problem of expressibility for iterative propositional calculi is algorithmically undecidable.
Авторлар туралы
G. Bokov
Moscow State University, Leninskie Gory
Хат алмасуға жауапты Автор.
Email: bokovgrigoriy@gmail.com
Ресей, Moscow, 119992
Қосымша файлдар
