Yury Savateev

1. Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs
   2018/04/03 by Yury Savateev, Savateev, Yury, Daniyar Shamkanov +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
   2017/04/11 by Yury Savateev, Daniyar Shamkanov, Savateev, Yury +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems