Cut elimination for S4C: A case study
type: Item
instance of: scholarly article
title: Cut elimination for S4C: A case study
zbMATH Open document ID: 1091.03026
published in: Studia Logica
publication date: 2006-03-17T00:00:00Z
review text: The paper contains a cut-elimination proof for a logic of continuous transformations of a topological space, called S4C [cf. \textit{P. Kremer} and \textit{G. Mints}, Ann. Pure Appl. Logic 131, No. 1--3, 133--158 (2005; Zbl 1067.03028)]. It consists of the modal logic S4 enlarged by another modality operator \(\circ\). In the intended models of dynamic systems, \(\square\) is a topological interior and \(\circ\) is a preimage under a continuous function. This paper is of special interest because of its concise presentation of cut elimination. The rather special case for S4C is developed step by step by presenting the necessary methods for cut elimination in classical propositional calculus, S4, and finally S4C.
reviewed by: Reinhard Kahle
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5013039
zbMATH Keywords: cut elimination
zbMATH Keywords: dynamic topological logic
author: G. E. Mints
MaRDI profile type: Publication
full work available at URL: s11225-006-6608-1
OpenAlex ID: W2047993241
cites work: Dynamic topological logic
cites work: A short introduction to intuitionistic logic
cites work: Q4499084
cites work: Q3931654
DOI: 10.1007/S11225-006-6608-1
description: scientific article; zbMATH DE number 5013039