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

Yury Savateev; Daniyar Shamkanov

doi:10.1007/978-3-662-55386-2_23

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

Yury Savateev
, Daniyar Shamkanov

Research output: Contribution to conference › Paper › peer-review

4 Citations (Scopus)

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	https://doi.org/10.1007/978-3-662-55386-2_23
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	https://wollic.org/wollic2017/

Access to Document

10.1007/978-3-662-55386-2_23

Cite this

@conference{26545c0d3ff74ae0ba06ed99b7a9eafe,

title = "Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs",

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.",

author = "Yury Savateev and Daniyar Shamkanov",

year = "2017",

doi = "10.1007/978-3-662-55386-2\_23",

language = "English",

pages = "321--335",

note = "24th Workshop on Logic, Language, Information and Computation , WoLLIC 2017 ; Conference date: 18-07-2017 Through 21-07-2018",

url = "https://wollic.org/wollic2017/",

}

TY - CONF

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

AU - Savateev, Yury

AU - Shamkanov, Daniyar

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-662-55386-2_23

DO - 10.1007/978-3-662-55386-2_23

M3 - Paper

SP - 321

EP - 335

T2 - 24th Workshop on Logic, Language, Information and Computation

Y2 - 18 July 2017 through 21 July 2018

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Cite this