|
This article is cited in 3 scientific papers (total in 3 papers)
MATHEMATICS
Nonarithmeticity of truth predicate logics of provability
S. N. Artemov V. A. Steklov Mathematical Institute, USSR Academy of Sciences, Moscow
Citation:
S. N. Artemov, “Nonarithmeticity of truth predicate logics of provability”, Dokl. Akad. Nauk SSSR, 284:2 (1985), 270–271
Linking options:
https://www.mathnet.ru/eng/dan8965 https://www.mathnet.ru/eng/dan/v284/i2/p270
|
Statistics & downloads: |
Abstract page: | 148 | Full-text PDF : | 34 |
|