Showing math.LOShow all
2 papers · 1 filter
math.LO2018
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs
Yury Savateev, Daniyar Shamkanov
We present a sequent calculus for the weak Grzegorczyk logic Go allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elim…
math.LO2018
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic
Yury Savateev, Daniyar Shamkanov
We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a…