Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Yury Savateev, Daniyar Shamkanov

Research output: Contribution to conferencePaperpeer-review

Abstract

We present a sequent calculus for the modal Grzegorczyk logic Grz allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.
Original languageEnglish
Pages321-335
DOIs
Publication statusPublished - 2017
Event24th Workshop on Logic, Language, Information and Computation - London, United Kingdom
Duration: 18 Jul 201721 Jul 2018
https://wollic.org/wollic2017/

Conference

Conference24th Workshop on Logic, Language, Information and Computation
Abbreviated titleWoLLIC 2017
Country/TerritoryUnited Kingdom
CityLondon
Period18/07/1721/07/18
Internet address

Fingerprint

Dive into the research topics of 'Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs'. Together they form a unique fingerprint.

Cite this