Sergei Artëmov
- Provability Logic
2005/12/13 by Sergei Artëmov, Sergei N. Artemov, Lev D. Beklemishev · 2 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Serial Properties, Selector Proofs, and the Provability of Consistency
2024/03/18 by Sergei Artëmov, Artemov, Sergei · 3 citations
Computer Science · #03A05 #03B30 #03F03 #03F07 #03F30 #03F40 #Computability, Logic, AI Algorithms #F.3.0 #F.4.0 #F.4.1 #FOS: Mathematics #I.2.0 #I.2.3 #Logic (math.LO) #Logic, programming, and type systems #semigroups and automata theory