Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs
type: Item
instance of: scholarly article
title: Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs
DOI: 10.1007/978-3-662-59533-6_34
author: Yury Savateev
author: Daniyar Shamkanov
publication date: 2020-03-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1804.01432
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7176948
zbMATH Keywords: non-well-founded proofs
zbMATH Keywords: weak Grzegorczyk logic
zbMATH Keywords: logic go
zbMATH Keywords: cut-elimination
zbMATH Keywords: cyclic proofs
MaRDI profile type: Publication
OpenAlex ID: W2963698381
description: scientific article; zbMATH DE number 7176948