Rule-elimination theorems
type: Item
instance of: scholarly article
title: Rule-elimination theorems
author: Sayantan Roy
published in: Logica Universalis
publication date: 2024-11-05T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 7938978
zbMATH Keywords: cut-elimination theorems
zbMATH Keywords: universal logic
zbMATH Keywords: logical structures
zbMATH Keywords: rule-elimination theorems
MaRDI profile type: Publication
cites work: Non-deterministic Multiple-valued Structures
cites work: Universal logic: An anthology. From Paul Hertz to Dov Gabbay
cites work: Q4215630
cites work: Towards a semantic characterization of cut-elimination
cites work: Q4178997
cites work: Q3185647
cites work: Untersuchungen über das logische Schließen. I.
cites work: Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
cites work: On induction principles for partial orders
cites work: Contraction-elimination for implicational logics
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Q3952081
DOI: 10.1007/S11787-024-00358-Y
description: scientific article; zbMATH DE number 7938978