Lev D. Beklemishev
- Reflection algebras and conservation results for theories of iterated\n truth
2019/08/27 by Lev D. Beklemishev, Beklemishev, Lev D., Fedor Pakhomov +1 · 1 citation
Computer Science · #03F15 #03F35 #03F45 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- Provability Logic
2005/12/13 by Sergei N. Artemov, Sergei Artëmov, Lev D. Beklemishev · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems