Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Beklemishev, L.: A note on strictly positive logics and word rewriting systems. Preprint ArXiv:1509.00666 [math.LO] (2015)
2. Beklemishev, L.D., Onoprienko, A.A.: On some slowly terminating term rewriting systems. Sbornik: Math. 206, 1173–1190 (2015)
3. Beklemishev, L.D.: Reflection calculus and conservativity spectra. ArXiv:1703.09314 [math.LO], March 2017
4. Beklemishev, L.D.: Proof-theoretic analysis by iterated reflection. Arch. Math. Logic 42, 515–552 (2003). doi: 10.1007/s00153-002-0158-7
5. Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Logic 128, 103–123 (2004)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献