|
In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society
Normalization of deductions and interpolation for some logics of provability
L. D. Beklemishev
Received: 15.06.1986
Citation:
L. D. Beklemishev, “Normalization of deductions and interpolation for some logics of provability”, Russian Math. Surveys, 42:6 (1987), 223–224
Linking options:
https://www.mathnet.ru/eng/rm2806https://doi.org/10.1070/RM1987v042n06ABEH001496 https://www.mathnet.ru/eng/rm/v42/i6/p179
|
|