Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 5 июня 2017 г.
Аннотация:We consider a natural generalization to the class of all GLP-algebras of the so-called reduction property for the polymodal provability algebras in arithmetic. An analogue of this property is established for the free GLP-algebras and for some topological GLP-algebras (GLP-spaces).