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 language | English |
---|---|
Pages | 321-335 |
DOIs | |
Publication status | Published - 2017 |
Event | 24th Workshop on Logic, Language, Information and Computation - London, United Kingdom Duration: 18 Jul 2017 → 21 Jul 2018 https://wollic.org/wollic2017/ |
Conference
Conference | 24th Workshop on Logic, Language, Information and Computation |
---|---|
Abbreviated title | WoLLIC 2017 |
Country/Territory | United Kingdom |
City | London |
Period | 18/07/17 → 21/07/18 |
Internet address |